F. Javier Thayer

31 papers A* 1A 10B 1Journal 8Unranked 11

Year	Rank	Type	Title / Venue / Authors
2019	—	`conf`	Enrich-by-Need Protocol Analysis for Diffie-Hellman. Foundations of Security, Protocols, and Equational Reasoning Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer
2018	J	`jnl`	Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version). CoRR Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer
2014	A	`conf`	Modeling Diffie-Hellman Derivability for Automated Analysis. CSF Moses D. Liskov, F. Javier Thayer
2010	—	`conf`	Metric Strand Spaces for Locale Authentication Protocols. IFIPTM F. Javier Thayer, Vipin Swarup, Joshua D. Guttman
2007	A	`conf`	Completeness of the Authentication Tests. ESORICS Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
2007	A	`conf`	Searching for Shapes in Cryptographic Protocols. TACAS Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
2007	B	`conf`	Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. MFPS Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
2006	J	`jnl`	Searching for Shapes in Cryptographic Protocols (extended version). IACR Cryptol. ePrint Arch. Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
2004	J	`jnl`	The faithfulness of abstract protocol analysis: Message authentication. J. Comput. Secur. Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck
2004	A	`conf`	Trust Management in Strand Spaces: A Rely-Guarantee Method. ESOP Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
2002	J	`jnl`	Authentication tests and the structure of bundles. Theor. Comput. Sci. Joshua D. Guttman, F. Javier Thayer
2001	A*	`conf`	The faithfulness of abstract protocol analysis: message authentication. CCS Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck
2000	—	`conf`	Authentication Tests. S&P Joshua D. Guttman, F. Javier Thayer
2000	A	`conf`	Authentication and Confidentiality via IPSEC. ESORICS Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer
2000	—	`conf`	Protocol Independence through Disjoint Encryption. CSFW Joshua D. Guttman, F. Javier Thayer
1999	—	`conf`	Mixed Strand Spaces. CSFW F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
1999	J	`jnl`	Strand Spaces: Proving Security Protocols Correct. J. Comput. Secur. F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
1999	—	`conf`	Trust: Benefits, Models, and Mechanisms. Secure Internet Programming Vipin Swarup, F. Javier Thayer
1998	—	`conf`	Honest Ideals on Strand Spaces. CSFW F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
1998	—	`conf`	Strand Spaces: Why is a Security Protocol Correct? S&P F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
1996	A	`conf`	IMPS: An Updated System Description. CADE William M. Farmer, Joshua D. Guttman, F. Javier Thayer
1995	J	`jnl`	Context in Mathematical Reasoning and Computation. J. Symb. Comput. William M. Farmer, Joshua D. Guttman, F. Javier Thayer
1994	A	`conf`	Proof Script Pragmatics in IMPS. CADE William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
1993	J	`jnl`	IMPS: An Interactive Mathematical Proof System. J. Autom. Reason. William M. Farmer, Joshua D. Guttman, F. Javier Thayer
1993	—	`conf`	Reasoning with Contexts. DISCO William M. Farmer, Joshua D. Guttman, F. Javier Thayer
1992	A	`conf`	IMPS: System Description. CADE William M. Farmer, Joshua D. Guttman, F. Javier Thayer
1992	A	`conf`	Little Theories. CADE William M. Farmer, Joshua D. Guttman, F. Javier Thayer
1990	A	`conf`	IMPS: An Interactive Mathematical Proof System. CADE William M. Farmer, Joshua D. Guttman, F. Javier Thayer
1989	—	`conf`	Security Properties Consistent with the Testing Semantics for Communicating Processes. CSFW Dale M. Johnson, F. Javier Thayer
1988	—	`conf`	Security and the Composition of Machines. CSFW Dale M. Johnson, F. Javier Thayer
1988	J	`jnl`	Stating Security Requirements with Tolerable Sets. ACM Trans. Comput. Syst. Dale M. Johnson, F. Javier Thayer