Jonathan Herzog

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

News

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

Papers

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

• I am the publications chair for the Computer Security Foundations Workshop. Extra copies of (most) 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 2003 in Ottawa, Canada (affiliated with LICS'03).

Contact Information

• Email:
  • jherzog@ll.mit.edu
  • jherzog@alum.mit.edu

Biographical Information

• 1993 through 1997: Harvey Mudd College. BS in Mathematics, High Honors, Departmental Honors
• 1997 through 2006 (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).
• 2006 through 2008: Associate Professor, Department of Computer Science, Naval Postgraduate School.
• June 2008 to October 2008: Computer Scientist at Basho Technologies.
• June 2009 to present (July 2009): Technical Staff at MIT Lincoln Labs.

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

Who I am not

• 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.)

Disclaimers

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.