@misc{cryptoeprint:2014:240,
    author = {Martin Pettai and Peeter Laud},
    title = {Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries},
    howpublished = {Cryptology ePrint Archive, Report 2014/240},
    year = {2014},
    url = {https://eprint.iacr.org/2014/240},
}