Picture of me

Jonathan Herzog

"I have left NPS and my new website is: www.jonathonherzog.com"

Ex-Associate Professor of Computer Science, Department of Computer Science, Naval Postgraduate School


July 2009: I have left the Naval Postgraduate School for personal reasons. I am now Technical Staff at MIT Lincoln Labs. Please address all correspondence to my new address (jherzog@ll.mit.edu) or, in case that does not work, my permanent personal address (jherzog@alum.mit.edu).


My publications can be found on their own page. 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.

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. (This is likely to change locations in the near future.)


The Cryptographic Protocol Programming Language (CPPL) is a domain-specific language for cryptographic protocols with trust-management annotations. The current tarball can be found at http://www.nps.navy.mil/cs/jcherzog/software/cppl-1.1.tar.gz. It is written in OCaml, and released under the GPL. See accompanying paper, Programming Cryptographic Protocols for language overview and (strand-based) semantics.

Conference Affiliations

Contact Information

Biographical Information

More complete information can be found in my CV and resumé

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, 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.


Material contained herein is made available for the purpose of peer review and discussion and does not necessarily reflect the views of the Department of the Navy or the Department of Defense.

The appearance of external hyperlinks does not constitute endorsement by the United States Department of Defense, the United States Department of the Navy and the Naval Postgraduate School of the linked web sites, or the information, products or services contained therein. For other than authorized activities such as military exchanges and Morale, Welfare and Recreation (MWR) sites, the United States Department of Defense, the Department of the Navy and the Naval Postgraduate School does not exercise any editorial control over the information you may find at these locations. Such links are provided consistent with the stated purpose of this DoD Web site.

Jonathan Herzog
Last modified: Tue Oct 17 12:45:26 PDT 2006