Jonathan C. Herzog

Publication Activity (10 Years)

Years Active: 1998-2011
Publications (10 Years): 0

Publications

Jonathan C. Herzog, Roger Khazan
Use of Static-Static Elliptic Curve Diffie-Hellman Key Agreement in Cryptographic Message Syntax. RFC 6278 (2011)
Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
Programming Cryptographic Protocols. TGC (2005)
Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
Trust Management in Strand Spaces: A Rely-Guarantee Method. ESOP (2004)
Jonathan C. Herzog
The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model. CSFW (2003)
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
Mixed Strand Spaces. CSFW (1999)
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
Strand Spaces: Proving Security Protocols Correct. J. Comput. Secur. 7 (1) (1999)
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
Honest Ideals on Strand Spaces. CSFW (1998)
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
Strand Spaces: Why is a Security Protocol Correct? IEEE Symposium on Security and Privacy (1998)