Joshua D. Guttman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
15
Active years
1987–2025
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICDM | Autoformalization of Cryptographic Protocols. | Lauren Brandt, Joshua D. Guttman, Andres Molina-Markham |
| 2018 | IFM | Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. | Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell |
| 2016 | ACNS | Hash-Based TPM Signatures for the Quantum World. | Megumi Ando, Joshua D. Guttman, Alberto R. Papaleo, John Scire |
| 2015 | ESORICS | Composable Bounds on Information Flow from Distribution Differences. | Megumi Ando, Joshua D. Guttman |
| 2014 | IFM | A Hybrid Analysis for Security Protocols with State. | John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe |
| 2013 | ICDE | Robust distributed stream processing. | Chuan Lei, Elke A. Rundensteiner, Joshua D. Guttman |
| 2009 | FOSSACS | Cryptographic Protocol Composition via the Authentication Tests. | Joshua D. Guttman |
| 2008 | ICICS | Attestation: Evidence and Trust. | George Coker, Joshua D. Guttman, Peter A. Loscocco, Justin Sheehy, Brian T. Sniffen |
| 2007 | ESORICS | Completeness of the Authentication Tests. | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer |
| 2007 | WWW | Compiling cryptographic protocols for deployment on the web. | Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell |
| 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 |
| 2004 | VMCAI | Security, Protocols, and Trust. | Joshua D. Guttman |
| 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 |
| 1997 | SP | Filtering Postures: Local Enforcement for Global Policies. | Joshua D. Guttman |
| 1996 | CADE | IMPS: An Updated System Description. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1996 | ESORICS | Security for Mobile Agents: Authentication and State Appraisal. | William M. Farmer, Joshua D. Guttman, Vipin Swarup |
| 1994 | CADE | Proof Script Pragmatics in IMPS. | William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer |
| 1994 | FM | Three Applications of Formal Methods at MITRE. | Joshua D. Guttman, Dale M. Johnson |
| 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 |
| 1990 | SP | Verifying a Hardware Security Architecture. | Joshua D. Guttman, H.-P. Ko |
| 1987 | SP | Information Flow and Invariance. | Joshua D. Guttman |