Jonathan Herzog

Computer Science · Physical Sciences

19h-index2.0kcitations39works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Authentication Protocols Security(18), Cryptography and Data Security(13), Cryptographic Implementations and Security(12), User Authentication and Security Systems(11), Health, Medicine and Society(3)

Publications39 total

Why some doctors murder their patients due to subconsciously driven malpractice
Zenodo (CERN European Organization for Nuclear Research)·2023Open Access
Automated Assessment of Secure Search Systems
ACM SIGOPS Operating Systems Review·2015· 17 cited
A test-suite generator for database systems
2014· 4 cited
A set-key attribute for symmetric-key packages
2012· 1 cited
On the Robustness of Cognitive Networking Mechanisms to Malicious Insiders
2011
Use of Static-Static Elliptic Curve Diffie-Hellman Key Agreement in Cryptographic Message Syntax
2011· 2 citedOpen Access
Universally Composable Symbolic Security Analysis
Journal of Cryptology·2010· 23 citedOpen Access
Robbing the Bank with a Theorem Prover
Lecture notes in computer science·2010· 7 citedOpen Access
Attestation Turns Crash Tolerance into Byzantine Tolerance
2010
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage
Journal of Computer Security·2009· 23 cited
Implementing AES on the CellBE
Calhoun: The Naval Postgraduate School Institutional Archive (Naval Postgraduate School)·2009
Universally Composable Symbolic Security Analysis
2009
Robbing the Bank with a Theorem Prover - (Abstract).
2007
CPSA Syntax and Interpretation
2006
Applying protocol analysis to security device interfaces
IEEE Security & Privacy·2006· 28 cited
Effect of Acartia grazing on the size distribution of phytoplankton in Academy Bay, Galapagos
ResearchWorks at the University of Washington (University of Washington)·2006Open Access
Universally composable symbolic analysis of mutual authentication and key exchange protocols
2006
Mixed Strand Spaces
2006
Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols
Lecture notes in computer science·2006· 135 cited
A computational interpretation of Dolev–Yao adversaries
Theoretical Computer Science·2005· 68 cited
page 1 of 2Next →

Frequent Co-authors

Joshua D. Guttman(8), Ran Canetti(5), F. Javier Thayer Fábrega(4), John D. Ramsdell(4), Brian Sniffen(3), F. J. Fabrega(2), Pedro Adão(2), Gergei Bana(2), Andre Scedrov(2), Moses Liskov(2), Silvio Micali(2), F. Javier Thayer(2), Jay A. Carlson(2), Ariel Hamlin(2), Paul Youn(2), Ben Adida(2), Mike Bond(2), Jolyon Clulow(2), Amerson Lin(2), Ronald L. Rivest(2)