DMCA

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

Cached

Download Links

by Martin Pettai , Peeter Laud
Citations:1 - 0 self