Jonathan Herzog

Important note

This page has been moved. I am now at the Naval Postgraduate School. A more recently-updated page can be found there.

Papers

Chances are, you've come here to get an electronic copy of one of my papers. I'm glad somebody's reading them. Here they are:

[1]	Jonathan Herzog, Christopher McLaren, and Anant Godbole. Generalized k-matches. Statistics and Probability Letters, 38:167-175, 1998. [ bib ]
[2]	F. Javier Thayer Fábrega, Jonathan Herzog, and Joshua D. Guttman. Strand spaces: Why is a security protocol correct? In 1998 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, May 1998. [ bib \| .html ]
[3]	F. Javier Thayer Fábrega, Jonathan Herzog, and Joshua D. Guttman. Honest ideals on strand spaces. In Proceedings of the 11th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, June 1998. [ bib \| .html ]
[4]	F. Javier Thayer, Jonathan Herzog, and Joshua D. Guttman. Strand spaces: Proving security protocols correct. Journal of Computer Security, 7(2/3):191-230, 1999. [ bib \| .html ]
[5]	F. Javier Thayer Fábrega, Jonathan Herzog, and Joshua D. Guttman. Mixed strand spaces. In Proceedings of the 12th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, June 1999. [ bib \| .html ]
[6]	Jonathan Herzog. Computational soundness for formal adversaries. Master's thesis, Massachusetts Institute of Technology, October 2002. [ bib \| .ps \| .pdf ]
[7]	Jonathan Herzog. The Diffie-Hellman key-agreement scheme in the strand-space model. In 16th Computer Security Foundations Workshop, pages 234-247, Asilomar, CA, June 2003. IEEE CS Press. [ bib \| .html ]
[8]	Jonathan Herzog, Moses Liskov, and Silvio Micali. Plaintext awareness via key registration. In Dan Boneh, editor, Advances in Cryptology - CRYPTO 2003, volume 2729 of Lecture Notes in Computer Science, pages 548-564. Springer-Verlag, August 2003. [ bib \| .ps \| .ps ]
[9]	Jonathan Herzog. Computational Soundness for Standard Assumptions of Formal Cryptography. PhD thesis, Massachusetts Institute of Technology, May 2004. [ bib \| .ps \| .pdf ]
[10]	Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan Herzog, John D. Ramsdell, and Brian T. Sniffen. Trust management in strand spaces: A rely-guarantee method. In David Schmidt, editor, Programming Languages and Systems: 13th European Symposium on Programming, number 2986 in LNCS, pages 325-339. Springer, 2004. [ bib \| .ps \| .pdf ]
[11]	Ran Canetti and Jonathan Herzog. Universally composable symbolic analysis of cryptographic protocols (the case of encryption-based mutual authentication and key exchange). Cryptology ePrint Archive, Report 2004/334, 2004. [ bib \| http ]
[12]	Jonathan Herzog. A computational interpretation of dolev-yao adversaries. Theoretical Computer Science, June 2005. [ bib ]

This file has been generated by bibtex2html 1.74

Please note that if you came here looking for a paper by "Herzog and Guttman" (or vice versa) and it is not listed above, the chances are good that the Herzog in question is my wife, Amy Herzog. We both work and publish with Joshua Guttman, causing some small confusion.

Talks

Some talks I have given while at MIT:

Red Cryptography: Formal Analysis of Cryptographic Protocols (DVI) (PostScript) (PDF)
Strand Spaces: Proving Protocols Correct (DVI) (PostScript) (PDF)
Computational Soundness of Formal Adversaries (ActiveDVI format -- uses the ActiveDVI viewer) (plain DVI) (PostScript)
Computational Interpretation of Dolev-Yao Adversaries, a refined version of the above, given at WITS 2003. (ActiveDVI format -- uses the ActiveDVI viewer) (plain DVI) (PostScript) (PDF)
Incorporating Diffie-Hellman into Strand Spaces, given at CSFW 16. (ActiveDVI format -- uses the ActiveDVI viewer) (plain DVI) (PostScript) (PDF)
How to Type Papers, given at our weekly student seminar. Covers useful tools for writing LaTeX documents, both solo and with co-authors. (PPT Slides ) (Sample .emacs) (AUCTeX tutorial) (Reftex tutorial) See also the web pages for AUCTeX, RefTeX and CVS.
Plaintext Awareness via Key Registration, discussing joint work with Moses Liskov and Silvio Micali. (See above for the paper.) Given as my dissertation defense. (PDF )

Strand Spaces

The Strand Space method is a technique for analyzing security protocols (authentication and key distribution protocols, in particular) at a very high level of abstraction. I maintain a page tracking the development of the Strand Space method.

Teaching

I was the Teaching Assistant for 6.045 (Automata, Computability and Complexity) which was taught (Spring 2002) by Prof. Ron Rivest. All information about that class can be found on the Spring 2002 6.045 web page.

Conference Affiliations

I am the publications chair for the Computer Security Foundations Workshop, which will be held in Aix-en-Provence, France, on 20-22 June 2005. All information about the workshop can be found at page for this year's workshop or at the page for the workshop in general. Extra copies of past proceedings are available for sale. Contact me for availability or prices.
I was on the program committee for the Foundations of Computer Security workshop, held on June 26 and 27 In Ottawa, Canada (affiliated with LICS'03).

Contact Information

Email: jherzog@mitre.org
Phone: 781.271.7281
Address:

Brief Resume

1993 through 1997: Harvey Mudd College. BS in Mathematics, High Honors, Departmental Honors

1997 through present (part-time 2000 through 2004): Researcher, The MITRE Corporation.

2000 through 2004: MIT, Ph. D. in cryptography from the Department Electrical Engineering and Computer Science. Committee consisted of Ron Rivest (advisor), Silvio Micali (also a collaborator) and Nancy Lynch (reader).

Who I am not

While mine is a rare name, it is not so rare as to be unique. There is, in fact, more than one person named "Jonathan Herzog." In particular:

I did not attend the Webb School of California.
No hablo espanol. Desceo que lo hice, pero no lo hago. Si usted esta buscando un Jonathan Herzog que lo hanga, no es yo. (I do not speak Spanish. I wish I did, but I do not. If you are looking for a Jonathan Herzog that does, it is not me.)

I did, however, grow up in Maine (USA) and attend the Waynflete and Morse high schools. If that sounds familiar, you've probably found the right Jonathan Herzog.

Jonathan Herzog

Last modified: Wed Oct 10 15:09:23 EDT 2007