Jonathan Herzog

According to our database, Jonathan Herzog authored at least 12 papers between 2003 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

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

2014

A test-suite generator for database systems.

Ariel Hamlin, Jonathan Herzog

Proceedings of the IEEE High Performance Extreme Computing Conference, 2014

2011

Universally Composable Symbolic Security Analysis.

Ran Canetti, Jonathan Herzog

J. Cryptol., 2011

2009

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

2007

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

Proceedings of the Security Protocols, 2007

2006

Applying protocol analysis to security device interfaces.

Jonathan Herzog

IEEE Secur. Priv., 2006

Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.

Ran Canetti, Jonathan Herzog

Proceedings of the Theory of Cryptography, Third Theory of Cryptography Conference, 2006

2005

A computational interpretation of Dolev-Yao adversaries.

Jonathan Herzog

Theor. Comput. Sci., 2005

Soundness of Formal Encryption in the Presence of Key-Cycles.

Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov

Proceedings of the Computer Security, 2005

2004

Computational soundness for standard assumptions of formal cryptography.

Jonathan Herzog

PhD thesis, 2004

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

2003

Plaintext Awareness via Key Registration.

Jonathan Herzog, Moses D. Liskov, Silvio Micali

Proceedings of the Advances in Cryptology, 2003