Jonathan Herzog

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 0

Top Venues

HPEC

ACM SIGOPS Oper. Syst. Rev.

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Mayank Varia, Benjamin Price, Nicholas Hwang, Ariel Hamlin, Jonathan Herzog, Jill Poland, Michael Reschly, Sophia Yakoubov, Robert K. Cunningham
Automated Assessment of Secure Search Systems. ACM SIGOPS Oper. Syst. Rev. 49 (1) (2015)
Ariel Hamlin, Jonathan Herzog
A test-suite generator for database systems. HPEC (2014)
Ran Canetti, Jonathan Herzog
Universally Composable Symbolic Security Analysis. J. Cryptol. 24 (1) (2011)
Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage. J. Comput. Secur. 17 (5) (2009)
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)
Jonathan Herzog
Applying protocol analysis to security device interfaces. IEEE Secur. Priv. 4 (4) (2006)
Ran Canetti, Jonathan Herzog
Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. TCC (2006)
Jonathan Herzog
A computational interpretation of Dolev-Yao adversaries. Theor. Comput. Sci. 340 (1) (2005)
Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov
Soundness of Formal Encryption in the Presence of Key-Cycles. ESORICS (2005)
Ran Canetti, Jonathan Herzog
Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange). IACR Cryptol. ePrint Arch. 2004 (2004)
Jonathan Herzog, Moses D. Liskov, Silvio Micali
Plaintext Awareness via Key Registration. CRYPTO (2003)

Jonathan Herzog.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jonathan Herzog