×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [symbolic secrecy proofs]
Universally Composable Symbolic Analysis of Cryptographic Protocols Ran Canetti and Jonathan Herzog 6 March 2006 The author's affiliation with The MITRE
217 views
Universally Composable Symbolic Analysis of Cryptographic Protocols
40 views
Universally Composable Symbolic Analysis of Cryptographic Protocols
36 views