Jonathan C. Herzog

The Diffie-Hellman key-agreement scheme in the strand-space model

Jonathan C. Herzog, Jonathan C. Herzog, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..

Programming Cryptographic Protocols

Joshua D. Guttman, John D. Ramsdell, Jonathan C. Herzog, 2005, TGC.

Honest ideals on strand spaces

Joshua D. Guttman, Jonathan C. Herzog, F. Javier Thayer, 1998, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).

Strand spaces: why is a security protocol correct?

Joshua D. Guttman, Jonathan C. Herzog, F. Javier Thayer, 1998, Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186).

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

Jonathan C. Herzog, Roger I. Khazan, 2011, RFC.

Strand Spaces: Proving Security Protocols Correct

Joshua D. Guttman, Jonathan C. Herzog, F. Javier Thayer, 1999, J. Comput. Secur..

The With-MAC key-wrapping algorithm for Cryptographic Message Syntax

Jonathan C. Herzog, Roger Khazan, 2012 .

Trust Management in Strand Spaces: A Rely-Guarantee Method

Joshua D. Guttman, John D. Ramsdell, Jonathan C. Herzog, 2004, ESOP.

Mixed strand spaces

Joshua D. Guttman, Jonathan C. Herzog, F. Javier Thayer, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.