Computer-Aided Proofs for Multiparty Computation with Active Security | IEEE Conference Publication | IEEE Xplore