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

Pettai, Martin; Laud, Peeter (2015). Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries. 28th IEEE Computer Security Foundations Symposium, Verona, Italy, July 13th-17th, 2015. Ed. Fournet, Cedric; Hicks, Michael. IEEE Computer Society Press, 75−89.
publitseeritud konverentsiettekanne
Pettai, Martin; Laud, Peeter
  • Inglise
Fournet, Cedric; Hicks, Michael
28th IEEE Computer Security Foundations Symposium, Verona, Italy, July 13th-17th, 2015
IEEE Computer Society Press
2015
7589
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

Seotud asutused