Joshua D. Guttman

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 15

Top Topics

Security Protocols

Information Flows

Top Venues

Publications

Scott L. Dyer, Christian A. Femrite, Joshua D. Guttman, Julian P. Lanson, Moses D. Liskov
Cryptographically Assured Information Flow: Assured Remote Execution. CoRR (2024)
Daniel J. Dougherty, Joshua D. Guttman
Molly: A Verified Compiler for Cryptoprotocol Roles. CoRR (2023)
Joshua D. Guttman, Sebastian Mödersheim
HotSpot: Hot Issues in Security Principles and Trust 2020. EuroS&P Workshops (2020)
Paul D. Rowe, Joshua D. Guttman, John D. Ramsdell
Assumption-Based Analysis of Distance-Bounding Protocols with cpsa. Logic, Language, and Security (2020)
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)
Joshua D. Guttman, John D. Ramsdell
Understanding Attestation: Analyzing Protocols that Use Quotes. STM (2019)
Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. IFM (2018)
Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
Homomorphisms and Minimality for Enrich-by-Need Security Analysis. CoRR (2018)
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)
Joshua D. Guttman
Information Flow, Distributed Systems, and Refinement, by Example. Concurrency, Security, and Puzzles (2017)
Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
Report on the NSF Workshop on Formal Methods for Security. CoRR (2016)
Paul D. Rowe, Joshua D. Guttman, Moses D. Liskov
Measuring protocol strength with security goals. Int. J. Inf. Sec. 15 (6) (2016)
Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe
Cross-Tool Semantics for Protocol Security Goals. SSR (2016)
Megumi Ando, Joshua D. Guttman, Alberto R. Papaleo, John Scire
Hash-Based TPM Signatures for the Quantum World. ACNS (2016)
Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio
Localizing Firewall Security Policies. CSF (2016)
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
Formal Support for Standardizing Protocols with State. SSR (2015)
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
Formal Support for Standardizing Protocols with State. CoRR (2015)
Joshua D. Guttman, Paul D. Rowe
A Cut Principle for Information Flow. CSF (2015)
Megumi Ando, Joshua D. Guttman
Composable Bounds on Information Flow from Distribution Differences. DPM/QASA@ESORICS (2015)
Joshua D. Guttman
Limited Disclosure and Locality in Graphs. Programming Languages with Applications to Biology and Security (2015)
Joshua D. Guttman
Establishing and preserving protocol security goals. J. Comput. Secur. 22 (2) (2014)
Daniel J. Dougherty, Joshua D. Guttman
Decidability for Lightweight Diffie-Hellman Protocols. CSF (2014)
Joshua D. Guttman, Paul D. Rowe
A Cut Principle for Information Flow. CoRR (2014)
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
A Hybrid Analysis for Security Protocols with State. IFM (2014)
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
A Hybrid Analysis for Security Protocols with State. CoRR (2014)
Joshua D. Guttman, Moses D. Liskov, Paul D. Rowe
Security Goals and Evolving Standards. SSR (2014)
Marco Carbone, Joshua D. Guttman
Sessions and Separability in Security Protocols. POST (2013)
Chuan Lei, Elke A. Rundensteiner, Joshua D. Guttman
Robust distributed stream processing. ICDE (2013)
Yantian Hou, Ming Li, Joshua D. Guttman
Chorus: scalable in-band trust establishment for multiple constrained devices over the insecure wireless channel. WISEC (2013)
Pierpaolo Degano, Joshua D. Guttman
Preface. J. Comput. Secur. 21 (6) (2013)
Ming Li, Shucheng Yu, Joshua D. Guttman, Wenjing Lou, Kui Ren
Secure ad hoc trust initialization and key management in wireless body area networks. ACM Trans. Sens. Networks 9 (2) (2013)
Joshua D. Guttman
Trust Engineering via Security Protocols. STAST (2012)
Daniel J. Dougherty, Joshua D. Guttman
An Algebra for Symbolic Diffie-Hellman Protocol Analysis. TGC (2012)
Daniel J. Dougherty, Joshua D. Guttman
Symbolic Protocol Analysis for Diffie-Hellman CoRR (2012)
John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon
An Analysis of the CAVES Attestation Protocol using CPSA CoRR (2012)
Joshua D. Guttman
State and Progress in Strand Spaces: Proving Fair Exchange. J. Autom. Reason. 48 (2) (2012)
Joshua D. Guttman
Security Goals and Protocol Transformations. TOSCA (2011)
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
Principles of remote attestation. Int. J. Inf. Sec. 10 (2) (2011)
F. Javier Thayer, Vipin Swarup, Joshua D. Guttman
Metric Strand Spaces for Locale Authentication Protocols. IFIPTM (2010)
Joshua D. Guttman
Transformations between Cryptographic Protocols. ARSPA-WITS (2009)
Joshua D. Guttman
Introduction. J. Comput. Secur. 17 (5) (2009)
Marco Carbone, Joshua D. Guttman
Execution Models for Choreographies and Cryptoprotocols PLACES (2009)
Joshua D. Guttman
Security Theorems via Model Theory EXPRESS (2009)
Joshua D. Guttman
Fair Exchange in Strand Spaces SECCO (2009)
Joshua D. Guttman
Cryptographic Protocol Composition via the Authentication Tests. FoSSaCS (2009)
Marco Carbone, Joshua D. Guttman
Choreographies with Secure Boxes and Compromised Principals ICE (2009)
Joshua D. Guttman
Cryptographic Protocol Composition via the Authentication Tests. IACR Cryptol. ePrint Arch. 2008 (2008)
George Coker, Joshua D. Guttman, Peter A. Loscocco, Justin Sheehy, Brian T. Sniffen
Attestation: Evidence and Trust. ICICS (2008)
Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell
Compiling cryptographic protocols for deployment on the web. WWW (2007)
Joshua D. Guttman
How to do Things with Cryptographic Protocols. ASIAN (2007)
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, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
Programming Cryptographic Protocols. TGC (2005)
Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka
Verifying information flow goals in Security-Enhanced Linux. J. Comput. Secur. 13 (1) (2005)
Joshua D. Guttman, Amy L. Herzog
Rigorous automated network security management. Int. J. Inf. Sec. 4 (1-2) (2005)
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
A New Column: Information Security. Bull. EATCS 82 (2004)
Joshua D. Guttman
Security, Protocols, and Trust. VMCAI (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
Authentication tests and disjoint encryption: A design method for security protocols. J. Comput. Secur. 12 (3-4) (2004)
Li Gong, Joshua D. Guttman, Peter Y. A. Ryan, Steve A. Schneider
Guest editorial overview. IEEE J. Sel. Areas Commun. 21 (1) (2003)
Joshua D. Guttman, F. Javier Thayer
Authentication tests and the structure of bundles. Theor. Comput. Sci. 283 (2) (2002)
Joshua D. Guttman
Security Protocol Design via Authentication Tests. CSFW (2002)
Andre Scedrov, Ran Canetti, Joshua D. Guttman, David A. Wagner, Michael Waidner
Relating Cryptography and Cryptographic Protocols. CSFW (2001)
Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck
The faithfulness of abstract protocol analysis: message authentication. CCS (2001)
Joshua D. Guttman
Key Compromise, Strand Spaces, and the Authentication Tests. MFPS (2001)
Joshua D. Guttman
Security Goals: Packet Trajectories and Strand Spaces. FOSAD (2000)
Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer
Authentication and Confidentiality via IPSEC. ESORICS (2000)
William M. Farmer, Joshua D. Guttman
A Set Theory with Support for Partial Functions. Stud Logica 66 (1) (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)
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
Strand Spaces: Proving Security Protocols Correct. J. Comput. Secur. 7 (1) (1999)
Shimshon Berkovits, Joshua D. Guttman, Vipin Swarup
Authentication for Mobile Agents. Mobile Agents and Security (1998)
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)
Joshua D. Guttman
Filtering Postures: Local Enforcement for Global Policies. IEEE Symposium on Security and Privacy (1997)
William M. Farmer, Joshua D. Guttman, Vipin Swarup
Security for Mobile Agents: Authentication and State Appraisal. ESORICS (1996)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
IMPS: An Updated System Description. CADE (1996)
Joshua D. Guttman, John D. Ramsdell, Mitchell Wand
VLISP: A Verified Implementation of Scheme. LISP Symb. Comput. 8 (1-2) (1995)
Joshua D. Guttman, John D. Ramsdell, Vipin Swarup
The VLISP Verified Scheme System. LISP Symb. Comput. 8 (1-2) (1995)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
Context in Mathematical Reasoning and Computation. J. Symb. Comput. 19 (1-3) (1995)
Joshua D. Guttman, Dale M. Johnson
Three Applications of Formal Methods at MITRE. FME (1994)
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)
Joshua D. Guttman
Panel: Use of Formal Methods in the Analysis of Cryptographic Protocols. CSFW (1992)
William M. Farmer, Joshua D. Guttman, F. Javier Thayer
IMPS: An Interactive Mathematical Proof System. CADE (1990)
Joshua D. Guttman, H.-P. Ko
Verifying a Hardware Security Architecture. IEEE Symposium on Security and Privacy (1990)
Joshua D. Guttman, Mark E. Nadel
What Needs Securing. CSFW (1988)