Jonathan C. Herzog

Dr. Jonathan C. Herzog
Lincoln Laboratory
Massachusetts Institute of Technology
Cyber Systems and Technology Group
244 Wood Street
Lexington, MA 02420-9108
voice: 781-981-2356
fax: 781-981-0186
email: jherzog@ll.mit.edu

 

Dr. Jon Herzog is a member of the technical staff in the Cyber Systems and Technology group of MIT Lincoln Laboratory, focusing on the area of cryptography. Prior to joining the Laboratory, Dr. Herzog served as Associate Professor of Computer Science at the Naval Postgraduate School, in Monterey, CA. He also served as INFOSEC Scientist at The MITRE Corporation performing cryptographic research, development, and assessment for the Department of Defense.

Dr. Herzog’s prior research has touched on many aspects of cryptographic primitives and protocols. He is a co-inventor of the ‘Strand Space’ method of protocol analysis, a technique by which the security of cryptographic protocols (e.g., SSL/TLS, Kerberos, WEP) can be mathematically proved or contradicted. He has written extensively on the theory of cryptography, particularly the relationship between two widely-used models of cryptography (the ‘formal’ model, derived from formal methods, and the ‘computational’ approach from complexity theory). On a more applied level, Dr. Herzog has validated multiple IETF-standard protocols (TLS, DNSSec, SSH, IPSec, etc.) and made recommendations to sponsors and standards bodies. He has helped two develop two software tools based on his research (an analysis tool for cryptographic protocols and a specialized compiler). At Lincoln Laboratory, he has helped to develop lightweight, secure, and usable group-key distribution protocols for disadvantaged and mobile tactical networks. Currently, he is both helping to extend these key-distribution protocols and investigating new techniques for the verification and synthesis of cryptographic protocols.

Dr. Herzog has authored over 6 journal papers and 11 conference publications. He has also received several awards, including a Best Paper award, Program Innovation Award, and Program Recognition Award from The MITRE Corporation; a Meritorious Service Award and Golden Core membership from the IEEE Computer Society; Honorable Mention for the RADM Schieffelin Award for Teaching from the Naval Postgraduate School; and (as part of a Lincoln Laboratory team) an R&D 100 Award from R&D Magazine.

He received his Bachelors of Science (summa cum laude) in mathematics from Harvey Mudd College in 1997 and his Masters and PhD in computer science from MIT in 2002 and 2004, respectively. 

top of page