| 2006 | ||
|---|---|---|
| 5 | Ran Canetti, Jonathan Herzog: Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. TCC 2006: 380-403 | |
| 4 | Jonathan Herzog: Applying protocol analysis to security device interfaces. IEEE Security & Privacy 4(4): 84-87 (2006) | |
| 2005 | ||
| 3 | Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness of Formal Encryption in the Presence of Key-Cycles. ESORICS 2005: 374-396 | |
| 2 | Jonathan Herzog: A computational interpretation of Dolev-Yao adversaries. Theor. Comput. Sci. 340(1): 57-81 (2005) | |
| 2003 | ||
| 1 | Jonathan Herzog, Moses Liskov, Silvio Micali: Plaintext Awareness via Key Registration. CRYPTO 2003: 548-564 | |
| 1 | Pedro Adão | [3] |
| 2 | Gergei Bana | [3] |
| 3 | Ran Canetti | [5] |
| 4 | Moses Liskov | [1] |
| 5 | Silvio Micali | [1] |
| 6 | Andre Scedrov | [3] |