Jonathan Herzog

12 papers A* 1A 1B 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2015 J jnl
Automated Assessment of Secure Search Systems.
ACM SIGOPS Oper. Syst. Rev.
Mayank Varia, Benjamin Price, Nicholas Hwang, Ariel Hamlin, Jonathan Herzog, Jill Poland, Michael Reschly, Sophia Yakoubov, Robert K. Cunningham
2014 — conf
A test-suite generator for database systems.
HPEC
Ariel Hamlin, Jonathan Herzog
2011 J jnl
Universally Composable Symbolic Security Analysis.
J. Cryptol.
Ran Canetti, Jonathan Herzog
2009 J jnl
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage.
J. Comput. Secur.
Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov
2007 — conf
Robbing the Bank with a Theorem Prover - (Abstract).
Security Protocols Workshop
Paul Youn, Ben Adida, Mike Bond, Jolyon Clulow, Jonathan Herzog, Amerson Lin, Ronald L. Rivest, Ross J. Anderson
2006 J jnl
Applying protocol analysis to security device interfaces.
IEEE Secur. Priv.
Jonathan Herzog
2006 B conf
Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.
TCC
Ran Canetti, Jonathan Herzog
2005 J jnl
A computational interpretation of Dolev-Yao adversaries.
Theor. Comput. Sci.
Jonathan Herzog
2005 A conf
Soundness of Formal Encryption in the Presence of Key-Cycles.
ESORICS
Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov
2004 — —
Computational soundness for standard assumptions of formal cryptography.
Jonathan Herzog
2004 J jnl
Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange).
IACR Cryptol. ePrint Arch.
Ran Canetti, Jonathan Herzog
2003 A* conf
Plaintext Awareness via Key Registration.
CRYPTO
Jonathan Herzog, Moses D. Liskov, Silvio Micali