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]
No references recorded for this publication.
No citations of this publication recorded.