Cryptology ePrint Archive: Report 2014/240

Available versions in chronological order


Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries
Martin Pettai and Peeter Laud


[ Cryptology ePrint archive ]