Jonathan Herzog
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2003–2006
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | TCC | Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. | Ran Canetti, Jonathan Herzog |
| 2005 | ESORICS | Soundness of Formal Encryption in the Presence of Key-Cycles. | Pedro Ado, Gergei Bana, Jonathan Herzog, Andre Scedrov |
| 2003 | CRYPTO | Plaintext Awareness via Key Registration. | Jonathan Herzog, Moses D. Liskov, Silvio Micali |