International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Jonathan Herzog

Publications

Year
Venue
Title
2011
JOFC
Universally Composable Symbolic Security Analysis
Ran Canetti Jonathan Herzog
2006
TCC
Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols
Ran Canetti Jonathan Herzog
2003
CRYPTO
Plaintext Awareness via Key Registration
Jonathan Herzog Moses Liskov Silvio Micali

Coauthors

Ran Canetti (2)
Moses Liskov (1)
Silvio Micali (1)