F. Javier Thayer

Publication Activity (10 Years)

Years Active: 1988-2019
Publications (10 Years): 2

Top Topics

Automated Analysis

Top Venues

Foundations of Security, Protocols, and Equational Reasoning

Publications

Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer
Enrich-by-Need Protocol Analysis for Diffie-Hellman. Foundations of Security, Protocols, and Equational Reasoning (2019)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer
Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version). CoRR (2018)
Moses D. Liskov, F. Javier Thayer
Modeling Diffie-Hellman Derivability for Automated Analysis. CSF (2014)
F. Javier Thayer, Vipin Swarup, Joshua D. Guttman
Metric Strand Spaces for Locale Authentication Protocols. IFIPTM (2010)
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. MFPS (2007)
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
Completeness of the Authentication Tests. ESORICS (2007)
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
Searching for Shapes in Cryptographic Protocols. TACAS (2007)
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
Searching for Shapes in Cryptographic Protocols (extended version). IACR Cryptol. ePrint Arch. 2006 (2006)
Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck
The faithfulness of abstract protocol analysis: Message authentication. J. Comput. Secur. 12 (6) (2004)
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)
Joshua D. Guttman, F. Javier Thayer
Authentication tests and the structure of bundles. Theor. Comput. Sci. 283 (2) (2002)
Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck
The faithfulness of abstract protocol analysis: message authentication. CCS (2001)
Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer
Authentication and Confidentiality via IPSEC. ESORICS (2000)
Joshua D. Guttman, F. Javier Thayer
Protocol Independence through Disjoint Encryption. CSFW (2000)
Joshua D. Guttman, F. Javier Thayer
Authentication Tests. IEEE Symposium on Security and Privacy (2000)
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
Mixed Strand Spaces. CSFW (1999)
Vipin Swarup, F. Javier Thayer
Trust: Benefits, Models, and Mechanisms. Secure Internet Programming (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)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
IMPS: An Updated System Description. CADE (1996)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
Context in Mathematical Reasoning and Computation. J. Symb. Comput. 19 (1-3) (1995)
William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
Proof Script Pragmatics in IMPS. CADE (1994)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
IMPS: An Interactive Mathematical Proof System. J. Autom. Reason. 11 (2) (1993)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
Reasoning with Contexts. DISCO (1993)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
IMPS: System Description. CADE (1992)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
Little Theories. CADE (1992)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
IMPS: An Interactive Mathematical Proof System. CADE (1990)
Dale M. Johnson, F. Javier Thayer
Security Properties Consistent with the Testing Semantics for Communicating Processes. CSFW (1989)
Dale M. Johnson, F. Javier Thayer
Security and the Composition of Machines. CSFW (1988)
Dale M. Johnson, F. Javier Thayer
Stating Security Requirements with Tolerable Sets. ACM Trans. Comput. Syst. 6 (3) (1988)