Information Flow and Invariance. - Joshua D. Guttman (S&P, 1987)

What Needs Securing. - Joshua D. Guttman; Mark E. Nadel (CSFW, 1988)

Verifying a Hardware Security Architecture. - Joshua D. Guttman; H.-P. Ko (S&P, 1990)

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)

Panel: Use of Formal Methods in the Analysis of Cryptographic Protocols. - Joshua D. Guttman (CSFW, 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)

Three Applications of Formal Methods at MITRE. - Joshua D. Guttman; Dale M. Johnson (FME, 1994)

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

The VLISP Verified Scheme System. - Joshua D. Guttman; John D. Ramsdell; Vipin Swarup (LISP Symb. Comput., 1995)

VLISP: A Verified Implementation of Scheme. - Joshua D. Guttman; John D. Ramsdell; Mitchell Wand (LISP Symb. Comput., 1995)

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

Security for Mobile Agents: Authentication and State Appraisal. - William M. Farmer; Joshua D. Guttman; Vipin Swarup (ESORICS, 1996)

Filtering Postures: Local Enforcement for Global Policies. - Joshua D. Guttman (S&P, 1997)

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

Authentication for Mobile Agents. - Shimshon Berkovits; Joshua D. Guttman; Vipin Swarup (Mobile Agents and Security, 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)

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)

Security Goals: Packet Trajectories and Strand Spaces. - Joshua D. Guttman (FOSAD, 2000)

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

A Set Theory with Support for Partial Functions. - William M. Farmer; Joshua D. Guttman (Stud Logica, 2000)

Relating Cryptography and Cryptographic Protocols. - Andre Scedrov; Ran Canetti; Joshua D. Guttman; David A. Wagner 001; Michael Waidner (CSFW, 2001)

Key Compromise, Strand Spaces, and the Authentication Tests. - Joshua D. Guttman (MFPS, 2001)

Security Protocol Design via Authentication Tests. - Joshua D. Guttman (CSFW, 2002)

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

Guest editorial overview. - Li Gong; Joshua D. Guttman; Peter Y. A. Ryan; Steve A. Schneider (IEEE J. Sel. Areas Commun., 2003)

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)

Security, Protocols, and Trust. - Joshua D. Guttman (VMCAI, 2004)

A New Column: Information Security. - Joshua D. Guttman (Bull. EATCS, 2004)

Authentication tests and disjoint encryption: A design method for security protocols. - Joshua D. Guttman (J. Comput. Secur., 2004)

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

Programming Cryptographic Protocols. - Joshua D. Guttman; Jonathan C. Herzog; John D. Ramsdell; Brian T. Sniffen (TGC, 2005)

Rigorous automated network security management. - Joshua D. Guttman; Amy L. Herzog (Int. J. Inf. Sec., 2005)

Verifying information flow goals in Security-Enhanced Linux. - Joshua D. Guttman; Amy L. Herzog; John D. Ramsdell; Clement W. Skorupka (J. Comput. Secur., 2005)

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

How to do Things with Cryptographic Protocols. - Joshua D. Guttman (ASIAN, 2007)

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)

Compiling cryptographic protocols for deployment on the web. - Jay A. McCarthy; Shriram Krishnamurthi; Joshua D. Guttman; John D. Ramsdell (WWW, 2007)

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

Attestation: Evidence and Trust. - George Coker; Joshua D. Guttman; Peter A. Loscocco; Justin Sheehy; Brian T. Sniffen (ICICS, 2008)

Cryptographic Protocol Composition via the Authentication Tests. - Joshua D. Guttman (IACR Cryptol. ePrint Arch., 2008)

Transformations between Cryptographic Protocols. - Joshua D. Guttman (ARSPA-WITS, 2009)

Fair Exchange in Strand Spaces - Joshua D. Guttman (SECCO, 2009)

Security Theorems via Model Theory - Joshua D. Guttman (EXPRESS, 2009)

Choreographies with Secure Boxes and Compromised Principals - Marco Carbone; Joshua D. Guttman (ICE, 2009)

Execution Models for Choreographies and Cryptoprotocols - Marco Carbone; Joshua D. Guttman (PLACES, 2009)

Introduction. - Joshua D. Guttman (J. Comput. Secur., 2009)

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

Shapes: Surveying Crypto Protocol Runs. - Joshua D. Guttman (Formal Models and Techniques for Analyzing Security Protocols, 2011)

Security Goals and Protocol Transformations. - Joshua D. Guttman (TOSCA, 2011)

Principles of remote attestation. - George Coker; Joshua D. Guttman; Peter A. Loscocco; Amy L. Herzog; Jonathan K. Millen; Brian O'Hanlon; John D. Ramsdell; Ariel Segall; Justin Sheehy; Brian T. Sniffen (Int. J. Inf. Sec., 2011)

Trust Engineering via Security Protocols. - Joshua D. Guttman (STAST, 2012)

An Algebra for Symbolic Diffie-Hellman Protocol Analysis. - Daniel J. Dougherty; Joshua D. Guttman (TGC, 2012)

Symbolic Protocol Analysis for Diffie-Hellman - Daniel J. Dougherty; Joshua D. Guttman (CoRR, 2012)

An Analysis of the CAVES Attestation Protocol using CPSA - John D. Ramsdell; Joshua D. Guttman; Jonathan K. Millen; Brian O'Hanlon (CoRR, 2012)

State and Progress in Strand Spaces: Proving Fair Exchange. - Joshua D. Guttman (J. Autom. Reason., 2012)

Robust distributed stream processing. - Chuan Lei; Elke A. Rundensteiner; Joshua D. Guttman (ICDE, 2013)

Sessions and Separability in Security Protocols. - Marco Carbone; Joshua D. Guttman (POST, 2013)

Chorus: scalable in-band trust establishment for multiple constrained devices over the insecure wireless channel. - Yantian Hou; Ming Li 003; Joshua D. Guttman (WISEC, 2013)

Preface. - Pierpaolo Degano; Joshua D. Guttman (J. Comput. Secur., 2013)

Secure ad hoc trust initialization and key management in wireless body area networks. - Ming Li 003; Shucheng Yu; Joshua D. Guttman; Wenjing Lou; Kui Ren 001 (ACM Trans. Sens. Networks, 2013)

Decidability for Lightweight Diffie-Hellman Protocols. - Daniel J. Dougherty; Joshua D. Guttman (CSF, 2014)

A Hybrid Analysis for Security Protocols with State. - John D. Ramsdell; Daniel J. Dougherty; Joshua D. Guttman; Paul D. Rowe (IFM, 2014)

Security Goals and Evolving Standards. - Joshua D. Guttman; Moses D. Liskov; Paul D. Rowe (SSR, 2014)

Establishing and preserving protocol security goals. - Joshua D. Guttman (J. Comput. Secur., 2014)

Limited Disclosure and Locality in Graphs. - Joshua D. Guttman (Programming Languages with Applications to Biology and Security, 2015)

A Cut Principle for Information Flow. - Joshua D. Guttman; Paul D. Rowe (CSF, 2015)

Composable Bounds on Information Flow from Distribution Differences. - Megumi Ando; Joshua D. Guttman (DPM/QASA@ESORICS, 2015)

Formal Support for Standardizing Protocols with State. - Joshua D. Guttman; Moses D. Liskov; John D. Ramsdell; Paul D. Rowe (SSR, 2015)

Hash-Based TPM Signatures for the Quantum World. - Megumi Ando; Joshua D. Guttman; Alberto R. Papaleo; John Scire (ACNS, 2016)

Localizing Firewall Security Policies. - Pedro Adão; Riccardo Focardi; Joshua D. Guttman; Flaminia L. Luccio (CSF, 2016)

Cross-Tool Semantics for Protocol Security Goals. - Joshua D. Guttman; John D. Ramsdell; Paul D. Rowe (SSR, 2016)

Report on the NSF Workshop on Formal Methods for Security. - Stephen Chong; Joshua D. Guttman; Anupam Datta; Andrew C. Myers; Benjamin C. Pierce; Patrick Schaumont; Tim Sherwood; Nickolai Zeldovich (CoRR, 2016)

Measuring protocol strength with security goals. - Paul D. Rowe; Joshua D. Guttman; Moses D. Liskov (Int. J. Inf. Sec., 2016)

Information Flow, Distributed Systems, and Refinement, by Example. - Joshua D. Guttman (Concurrency, Security, and Puzzles, 2017)

Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. - Daniel J. Dougherty; Joshua D. Guttman; John D. Ramsdell (IFM, 2018)

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)

Homomorphisms and Minimality for Enrich-by-Need Security Analysis. - Daniel J. Dougherty; Joshua D. Guttman; John D. Ramsdell (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)

Understanding Attestation: Analyzing Protocols that Use Quotes. - Joshua D. Guttman; John D. Ramsdell (STM, 2019)

Assumption-Based Analysis of Distance-Bounding Protocols with cpsa. - Paul D. Rowe; Joshua D. Guttman; John D. Ramsdell (Logic, Language, and Security, 2020)

HotSpot: Hot Issues in Security Principles and Trust 2020. - Joshua D. Guttman; Sebastian Mödersheim (EuroS&P Workshops, 2020)

Molly: A Verified Compiler for Cryptoprotocol Roles. - Daniel J. Dougherty; Joshua D. Guttman (CoRR, 2023)

Cryptographically Assured Information Flow: Assured Remote Execution. - Scott L. Dyer; Christian A. Femrite; Joshua D. Guttman; Julian P. Lanson; Moses D. Liskov (CSF, 2025)