 | 2011 |
| 9 |  | Ran Canetti,
Jonathan Herzog:
Universally Composable Symbolic Security Analysis.
J. Cryptology 24(1): 83-147 (2011) |
| 2009 |
| 8 |  | Pedro Adão,
Gergei Bana,
Jonathan Herzog,
Andre Scedrov:
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage.
Journal of Computer Security 17(5): 737-797 (2009) |
| 2007 |
| 7 |  | Paul Youn,
Ben Adida,
Mike Bond,
Jolyon Clulow,
Jonathan Herzog,
Amerson Lin,
Ronald L. Rivest,
Ross J. Anderson:
Robbing the Bank with a Theorem Prover - (Abstract).
Security Protocols Workshop 2007: 171 |
| 2006 |
| 6 |  | Ran Canetti,
Jonathan Herzog:
Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.
TCC 2006: 380-403 |
| 5 |  | Jonathan Herzog:
Applying protocol analysis to security device interfaces.
IEEE Security & Privacy 4(4): 84-87 (2006) |
| 2005 |
| 4 |  | Pedro Adão,
Gergei Bana,
Jonathan Herzog,
Andre Scedrov:
Soundness of Formal Encryption in the Presence of Key-Cycles.
ESORICS 2005: 374-396 |
| 3 |  | Jonathan Herzog:
A computational interpretation of Dolev-Yao adversaries.
Theor. Comput. Sci. 340(1): 57-81 (2005) |
| 2004 |
| 2 |  | Ran Canetti,
Jonathan Herzog:
Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange).
IACR Cryptology ePrint Archive 2004: 334 (2004) |
| 2003 |
| 1 |  | Jonathan Herzog,
Moses Liskov,
Silvio Micali:
Plaintext Awareness via Key Registration.
CRYPTO 2003: 548-564 |