TY  - RPRT
TI  - Computer-aided proofs for multiparty computation with active security
AU  - Helene Haagh
AU  - Aleksandr Karbyshev
AU  - Sabine Oechsner
AU  - Bas Spitters
AU  - Pierre-Yves Strub
PY  - 2018
DO  - 10.1109/csf.2018.00016
UR  - https://arxiv.org/abs/1806.07197
ID  - 1806.07197
ER  -