CryptoDB
Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries
Authors: | |
---|---|
Download: |
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 }