Secrecy Types for a Simulatable Cryptographic Library

Laud, Peeter (2005). Secrecy Types for a Simulatable Cryptographic Library. Proceedings: 12th ACM Conference on Computer and Communications Security (CCS); Alexandria, VA, USA; 07.-11.11.2005. Ed. Meadows, Catherine. New York: Association for Computing Machinery, 26−35.
publitseeritud konverentsiettekanne
Laud, Peeter
  • Inglise
Proceedings
Meadows, Catherine
12th ACM Conference on Computer and Communications Security (CCS); Alexandria, VA, USA; 07.-11.11.2005
New York
Association for Computing Machinery
1595932267
2005
2635
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)