@misc{cryptoeprint:2018:502,
    author = {Helene Haagh and Aleksandr Karbyshev and Sabine Oechsner and Bas Spitters and Pierre-Yves Strub},
    title = {Computer-aided proofs for multiparty computation with active security},
    howpublished = {Cryptology ePrint Archive, Report 2018/502},
    year = {2018},
    url = {https://eprint.iacr.org/2018/502},
}