@misc{indiciaefd663c62754b,
  title = {Computer-aided proofs for multiparty computation with active security},
  author = {Helene Haagh and Aleksandr Karbyshev and Sabine Oechsner and Bas Spitters and Pierre-Yves Strub},
  year = {2018},
  doi = {10.1109/csf.2018.00016},
  url = {https://arxiv.org/abs/1806.07197},
  note = {Source identifier: 1806.07197}
}