Security and the Composition of Machines. - Dale M. Johnson; F. Javier Thayer (CSFW, 1988)

Stating Security Requirements with Tolerable Sets. - Dale M. Johnson; F. Javier Thayer (ACM Trans. Comput. Syst., 1988)

Security Properties Consistent with the Testing Semantics for Communicating Processes. - Dale M. Johnson; F. Javier Thayer (CSFW, 1989)

Little Theories. - William M. Farmer; Joshua D. Guttman; F. Javier Thayer (CADE, 1992)

IMPS: System Description. - William M. Farmer; Joshua D. Guttman; F. Javier Thayer (CADE, 1992)

Reasoning with Contexts. - William M. Farmer; Joshua D. Guttman; F. Javier Thayer (DISCO, 1993)

IMPS: An Interactive Mathematical Proof System. - William M. Farmer; Joshua D. Guttman; F. Javier Thayer (J. Autom. Reason., 1993)

Proof Script Pragmatics in IMPS. - William M. Farmer; Joshua D. Guttman; Mark E. Nadel; F. Javier Thayer (CADE, 1994)

Context in Mathematical Reasoning and Computation. - William M. Farmer; Joshua D. Guttman; F. Javier Thayer (J. Symb. Comput., 1995)

IMPS: An Updated System Description. - William M. Farmer; Joshua D. Guttman; F. Javier Thayer (CADE, 1996)

Honest Ideals on Strand Spaces. - F. Javier Thayer; Jonathan C. Herzog; Joshua D. Guttman (CSFW, 1998)

Strand Spaces: Why is a Security Protocol Correct? - F. Javier Thayer; Jonathan C. Herzog; Joshua D. Guttman (S&P, 1998)

Mixed Strand Spaces. - F. Javier Thayer; Jonathan C. Herzog; Joshua D. Guttman (CSFW, 1999)

Trust: Benefits, Models, and Mechanisms. - Vipin Swarup; F. Javier Thayer (Secure Internet Programming, 1999)

Strand Spaces: Proving Security Protocols Correct. - F. Javier Thayer; Jonathan C. Herzog; Joshua D. Guttman (J. Comput. Secur., 1999)

Protocol Independence through Disjoint Encryption. - Joshua D. Guttman; F. Javier Thayer (CSFW, 2000)

Authentication and Confidentiality via IPSEC. - Joshua D. Guttman; Amy L. Herzog; F. Javier Thayer (ESORICS, 2000)

Authentication Tests. - Joshua D. Guttman; F. Javier Thayer (S&P, 2000)

Authentication tests and the structure of bundles. - Joshua D. Guttman; F. Javier Thayer (Theor. Comput. Sci., 2002)

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 (ESOP, 2004)

The faithfulness of abstract protocol analysis: Message authentication. - Joshua D. Guttman; F. Javier Thayer; Lenore D. Zuck (J. Comput. Secur., 2004)

Searching for Shapes in Cryptographic Protocols (extended version). - Shaddin F. Doghmi; Joshua D. Guttman; F. Javier Thayer (IACR Cryptol. ePrint Arch., 2006)

Completeness of the Authentication Tests. - Shaddin F. Doghmi; Joshua D. Guttman; F. Javier Thayer (ESORICS, 2007)

Searching for Shapes in Cryptographic Protocols. - Shaddin F. Doghmi; Joshua D. Guttman; F. Javier Thayer (TACAS, 2007)

Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. - Shaddin F. Doghmi; Joshua D. Guttman; F. Javier Thayer (MFPS, 2007)

Metric Strand Spaces for Locale Authentication Protocols. - F. Javier Thayer; Vipin Swarup; Joshua D. Guttman (IFIPTM, 2010)

Modeling Diffie-Hellman Derivability for Automated Analysis. - Moses D. Liskov; F. Javier Thayer (CSF, 2014)

Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version). - Moses D. Liskov; Joshua D. Guttman; John D. Ramsdell; Paul D. Rowe; F. Javier Thayer (CoRR, 2018)

Enrich-by-Need Protocol Analysis for Diffie-Hellman. - Moses D. Liskov; Joshua D. Guttman; John D. Ramsdell; Paul D. Rowe; F. Javier Thayer (Foundations of Security, Protocols, and Equational Reasoning, 2019)