International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Paper: Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries

Authors:
Martin Pettai
Peeter Laud
Download:
URL: https://eprint.iacr.org/2014/240
Search ePrint
Search Google
BibTeX
@article{eprint-2014-25465,
  title={Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries},
  journal={IACR Cryptology ePrint Archive},
  volume={2014},
  pages={240},
  url={https://eprint.iacr.org/2014/240},
  author={Martin Pettai and Peeter Laud},
  year=2014
}