Jonathan C. Herzog

According to our database, Jonathan C. Herzog authored at least 8 papers between 1998 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Use of Static-Static Elliptic Curve Diffie-Hellman Key Agreement in Cryptographic Message Syntax.

Jonathan C. Herzog, Roger Khazan

RFC, June, 2011

2005

Programming Cryptographic Protocols.

Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2004

Trust Management in Strand Spaces: A Rely-Guarantee Method.

Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen

Proceedings of the Programming Languages and Systems, 2004

2003

The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model.

Jonathan C. Herzog

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

1999

Strand Spaces: Proving Security Protocols Correct.

F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman

J. Comput. Secur., 1999

Mixed Strand Spaces.

F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998

Strand Spaces: Why is a Security Protocol Correct?

F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman

Proceedings of the Security and Privacy, 1998

Honest Ideals on Strand Spaces.

F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998