Computer-aided proofs for multiparty computation with active security

Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub. Computer-aided proofs for multiparty computation with active security. IACR Cryptology ePrint Archive, 2018:502, 2018. [doi]

Abstract

Abstract is missing.