| |
| 2006 | ||
|---|---|---|
| 4 | EE | Ran Canetti, Jonathan Herzog: Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. TCC 2006: 380-403 |
| 2005 | ||
| 3 | EE | Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness of Formal Encryption in the Presence of Key-Cycles. ESORICS 2005: 374-396 |
| 2 | EE | Jonathan Herzog: A computational interpretation of Dolev-Yao adversaries. Theor. Comput. Sci. 340(1): 57-81 (2005) |
| 2003 | ||
| 1 | EE | 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 | [4] |
| 4 | Moses Liskov | [1] |
| 5 | Silvio Micali | [1] |
| 6 | Andre Scedrov | [3] |