Computer-aided proofs for multiparty computation with active security

Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner +2

Secure multi-party computation (MPC) is a general cryptographic technique that allows distrusting parties to compute a function of their individual inputs, while only revealing the…