![]() | ![]() |
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] |