Plaintext Awareness via Key Registration. - Jonathan Herzog; Moses D. Liskov; Silvio Micali (CRYPTO, 2003)

Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange). - Ran Canetti; Jonathan Herzog (IACR Cryptol. ePrint Arch., 2004)

Computational soundness for standard assumptions of formal cryptography. - Jonathan Herzog (2004)

Soundness of Formal Encryption in the Presence of Key-Cycles. - Pedro Adão; Gergei Bana; Jonathan Herzog; Andre Scedrov (ESORICS, 2005)

A computational interpretation of Dolev-Yao adversaries. - Jonathan Herzog (Theor. Comput. Sci., 2005)

Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. - Ran Canetti; Jonathan Herzog (TCC, 2006)

Applying protocol analysis to security device interfaces. - Jonathan Herzog (IEEE Secur. Priv., 2006)

Robbing the Bank with a Theorem Prover - (Abstract). - Paul Youn; Ben Adida; Mike Bond; Jolyon Clulow; Jonathan Herzog; Amerson Lin; Ronald L. Rivest; Ross J. Anderson (Security Protocols Workshop, 2007)

Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage. - Pedro Adão; Gergei Bana; Jonathan Herzog; Andre Scedrov (J. Comput. Secur., 2009)

Universally Composable Symbolic Security Analysis. - Ran Canetti; Jonathan Herzog (J. Cryptol., 2011)

A test-suite generator for database systems. - Ariel Hamlin; Jonathan Herzog (HPEC, 2014)

Automated Assessment of Secure Search Systems. - Mayank Varia; Benjamin Price; Nicholas Hwang; Ariel Hamlin; Jonathan Herzog; Jill Poland; Michael Reschly; Sophia Yakoubov; Robert K. Cunningham (ACM SIGOPS Oper. Syst. Rev., 2015)