F. Javier Thayer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
1990–2007
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ESORICS | Completeness of the Authentication Tests. | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer |
| 2007 | TACAS | Searching for Shapes in Cryptographic Protocols. | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer |
| 2004 | ESOP | 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 |
| 2001 | CCS | The faithfulness of abstract protocol analysis: message authentication. | Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck |
| 2000 | ESORICS | Authentication and Confidentiality via IPSEC. | Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer |
| 2000 | SP | Authentication Tests. | Joshua D. Guttman, F. Javier Thayer |
| 1998 | SP | Strand Spaces: Why is a Security Protocol Correct? | F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman |
| 1996 | CADE | IMPS: An Updated System Description. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1994 | CADE | Proof Script Pragmatics in IMPS. | William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer |
| 1992 | CADE | Little Theories. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1992 | CADE | IMPS: System Description. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1990 | CADE | IMPS: An Interactive Mathematical Proof System. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |