Concepedia

Jonathan Herzog

JH

12

Publications

1.4K

Citations

12

H-Index

1999

Active since

Affiliations

Mitre (United States)(Current)

MIT Lincoln Laboratory

Massachusetts Institute of Technology

Jonathan Herzog is an author at Mitre (United States) specializing in computer science, engineering, and data security.

Top concepts

EngineeringComputer ScienceData SecurityInformation SecurityCryptographyFormal VerificationFormal MethodsHardware SecurityData PrivacySecurity

Publications per year

1999–2015

12

Publications

12

Strand spaces: proving security protocols correct

F. Javier Thayer Fábrega, Jonathan Herzog, Joshua D. Guttman · Journal of Computer Security · 1999 · 539 citations

Strand Space, Cryptographic Primitive, Engineering +11

Strand spaces: why is a security protocol correct?

F. Javier Thayer Fábrega, Jonathan Herzog, Joshua D. Guttman · 2002 · 394 citations

Engineering, Information Security, Verification +19

Honest ideals on strand spaces

F. Javier Thayer Fábrega, Jonathan Herzog, Joshua D. Guttman · 2002 · 118 citations

Cryptographic Primitive, Engineering, Commutative Algebra +18

Mixed strand spaces

F. Javier Thayer Fábrega, Jonathan Herzog, Joshua D. Guttman · 2003 · 81 citations

Cryptographic Primitive, Engineering, Information Security +17

A computational interpretation of Dolev–Yao adversaries

Jonathan Herzog · Theoretical Computer Science · 2005 · 68 citations

Engineering, Automated Reasoning, Abstract Interpretation +4

Rows per page

1–5 of 12