Cryptology ePrint Archive: Report 2014/240

Available versions in chronological order

20140415:065340 (posted 15-Apr-2014 06:53:40 UTC): Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries; Martin Pettai and Peeter Laud

[ Cryptology ePrint archive ]