Joshua D. Guttman

106 papers A* 3A 14B 7C 1Journal 33Unranked 40

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Designing Trustworthy Layered Attestations. CoRR Will Thomas, Logan Schmalz, Adam Petz, Perry Alexander, Joshua D. Guttman, Paul D. Rowe, James Carter
2025	—	`conf`	Autoformalization of Cryptographic Protocols. ICDM (Workshops) Lauren Brandt, Joshua D. Guttman, Andres Molina-Markham
2025	A	`conf`	Cryptographically Assured Information Flow: Assured Remote Execution. CSF Scott L. Dyer, Christian A. Femrite, Joshua D. Guttman, Julian P. Lanson, Moses D. Liskov
2024	J	`jnl`	Cryptographically Assured Information Flow: Assured Remote Execution. CoRR Scott L. Dyer, Christian A. Femrite, Joshua D. Guttman, Julian P. Lanson, Moses D. Liskov
2023	J	`jnl`	Molly: A Verified Compiler for Cryptoprotocol Roles. CoRR Daniel J. Dougherty, Joshua D. Guttman
2020	—	`conf`	Assumption-Based Analysis of Distance-Bounding Protocols with cpsa. Logic, Language, and Security Paul D. Rowe, Joshua D. Guttman, John D. Ramsdell
2020	—	`conf`	HotSpot: Hot Issues in Security Principles and Trust 2020. EuroS&P Workshops Joshua D. Guttman, Sebastian Mödersheim
2020	—	`ed.`	Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday Logic, Language, and Security Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan L. Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
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
2019	—	`ed.`	Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows Foundations of Security, Protocols, and Equational Reasoning Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
2019	—	`conf`	Understanding Attestation: Analyzing Protocols that Use Quotes. STM Joshua D. Guttman, John D. Ramsdell
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
2018	J	`jnl`	Homomorphisms and Minimality for Enrich-by-Need Security Analysis. CoRR Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
2018	B	`conf`	Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. IFM Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
2017	—	`conf`	Information Flow, Distributed Systems, and Refinement, by Example. Concurrency, Security, and Puzzles Joshua D. Guttman
2016	—	`conf`	Cross-Tool Semantics for Protocol Security Goals. SSR Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe
2016	B	`conf`	Hash-Based TPM Signatures for the Quantum World. ACNS Megumi Ando, Joshua D. Guttman, Alberto R. Papaleo, John Scire
2016	A	`conf`	Localizing Firewall Security Policies. CSF Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio
2016	J	`jnl`	Measuring protocol strength with security goals. Int. J. Inf. Sec. Paul D. Rowe, Joshua D. Guttman, Moses D. Liskov
2016	J	`jnl`	Report on the NSF Workshop on Formal Methods for Security. CoRR Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
2015	A	`conf`	A Cut Principle for Information Flow. CSF Joshua D. Guttman, Paul D. Rowe
2015	—	`conf`	Composable Bounds on Information Flow from Distribution Differences. DPM/QASA@ESORICS Megumi Ando, Joshua D. Guttman
2015	—	`conf`	Formal Support for Standardizing Protocols with State. SSR Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
2015	J	`jnl`	Formal Support for Standardizing Protocols with State. CoRR Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
2015	—	`conf`	Limited Disclosure and Locality in Graphs. Programming Languages with Applications to Biology and Security Joshua D. Guttman
2014	J	`jnl`	A Cut Principle for Information Flow. CoRR Joshua D. Guttman, Paul D. Rowe
2014	B	`conf`	A Hybrid Analysis for Security Protocols with State. IFM John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
2014	J	`jnl`	A Hybrid Analysis for Security Protocols with State. CoRR John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
2014	A	`conf`	Decidability for Lightweight Diffie-Hellman Protocols. CSF Daniel J. Dougherty, Joshua D. Guttman
2014	J	`jnl`	Establishing and preserving protocol security goals. J. Comput. Secur. Joshua D. Guttman
2014	—	`conf`	Security Goals and Evolving Standards. SSR Joshua D. Guttman, Moses D. Liskov, Paul D. Rowe
2013	—	`conf`	Chorus: scalable in-band trust establishment for multiple constrained devices over the insecure wireless channel. WISEC Yantian Hou, Ming Li, Joshua D. Guttman
2013	J	`jnl`	Preface. J. Comput. Secur. Pierpaolo Degano, Joshua D. Guttman
2013	A*	`conf`	Robust distributed stream processing. ICDE Chuan Lei, Elke A. Rundensteiner, Joshua D. Guttman
2013	J	`jnl`	Secure ad hoc trust initialization and key management in wireless body area networks. ACM Trans. Sens. Networks Ming Li, Shucheng Yu, Joshua D. Guttman, Wenjing Lou, Kui Ren
2013	—	`conf`	Sessions and Separability in Security Protocols. POST Marco Carbone, Joshua D. Guttman
2012	—	`conf`	An Algebra for Symbolic Diffie-Hellman Protocol Analysis. TGC Daniel J. Dougherty, Joshua D. Guttman
2012	J	`jnl`	An Analysis of the CAVES Attestation Protocol using CPSA CoRR John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon
2012	—	`ed.`	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings POST Pierpaolo Degano, Joshua D. Guttman
2012	J	`jnl`	State and Progress in Strand Spaces: Proving Fair Exchange. J. Autom. Reason. Joshua D. Guttman
2012	J	`jnl`	Symbolic Protocol Analysis for Diffie-Hellman CoRR Daniel J. Dougherty, Joshua D. Guttman
2012	—	`conf`	Trust Engineering via Security Protocols. STAST Joshua D. Guttman
2011	—	`ed.`	Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers Formal Aspects in Security and Trust Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman
2011	J	`jnl`	Principles of remote attestation. Int. J. Inf. Sec. 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
2011	—	`ed.`	Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, PLAS 2011, San Jose, CA, USA, 5 June, 2011 PLAS Aslan Askarov, Joshua D. Guttman
2011	—	`conf`	Security Goals and Protocol Transformations. TOSCA Joshua D. Guttman
2011	—	`ch.`	Shapes: Surveying Crypto Protocol Runs. Formal Models and Techniques for Analyzing Security Protocols Joshua D. Guttman
2010	—	`ed.`	Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers Formal Aspects in Security and Trust Pierpaolo Degano, Joshua D. Guttman
2010	—	`conf`	Metric Strand Spaces for Locale Authentication Protocols. IFIPTM F. Javier Thayer, Vipin Swarup, Joshua D. Guttman
2009	—	`conf`	Choreographies with Secure Boxes and Compromised Principals ICE Marco Carbone, Joshua D. Guttman
2009	B	`conf`	Cryptographic Protocol Composition via the Authentication Tests. FoSSaCS Joshua D. Guttman
2009	—	`conf`	Execution Models for Choreographies and Cryptoprotocols PLACES Marco Carbone, Joshua D. Guttman
2009	—	`conf`	Fair Exchange in Strand Spaces SECCO Joshua D. Guttman
2009	—	`ed.`	Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers Formal Aspects in Security and Trust Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli
2009	J	`jnl`	Introduction. J. Comput. Secur. Joshua D. Guttman
2009	—	`conf`	Security Theorems via Model Theory EXPRESS Joshua D. Guttman
2009	—	`conf`	Transformations between Cryptographic Protocols. ARSPA-WITS Joshua D. Guttman
2008	C	`conf`	Attestation: Evidence and Trust. ICICS George Coker, Joshua D. Guttman, Peter A. Loscocco, Justin Sheehy, Brian T. Sniffen
2008	J	`jnl`	Cryptographic Protocol Composition via the Authentication Tests. IACR Cryptol. ePrint Arch. Joshua D. Guttman
2007	A*	`conf`	Compiling cryptographic protocols for deployment on the web. WWW Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell
2007	A	`conf`	Completeness of the Authentication Tests. ESORICS Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
2007	—	`conf`	How to do Things with Cryptographic Protocols. ASIAN Joshua D. Guttman
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
2005	—	`conf`	Programming Cryptographic Protocols. TGC Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
2005	J	`jnl`	Rigorous automated network security management. Int. J. Inf. Sec. Joshua D. Guttman, Amy L. Herzog
2005	J	`jnl`	Verifying information flow goals in Security-Enhanced Linux. J. Comput. Secur. Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka
2004	J	`jnl`	A New Column: Information Security. Bull. EATCS Joshua D. Guttman
2004	J	`jnl`	Authentication tests and disjoint encryption: A design method for security protocols. J. Comput. Secur. Joshua D. Guttman
2004	B	`conf`	Security, Protocols, and Trust. VMCAI Joshua D. Guttman
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
2003	J	`jnl`	Guest editorial overview. IEEE J. Sel. Areas Commun. Li Gong, Joshua D. Guttman, Peter Y. A. Ryan, Steve A. Schneider
2002	J	`jnl`	Authentication tests and the structure of bundles. Theor. Comput. Sci. Joshua D. Guttman, F. Javier Thayer
2002	—	`conf`	Security Protocol Design via Authentication Tests. CSFW Joshua D. Guttman
2001	B	`conf`	Key Compromise, Strand Spaces, and the Authentication Tests. MFPS Joshua D. Guttman
2001	—	`conf`	Relating Cryptography and Cryptographic Protocols. CSFW Andre Scedrov, Ran Canetti, Joshua D. Guttman, David A. Wagner, Michael Waidner
2001	A*	`conf`	The faithfulness of abstract protocol analysis: message authentication. CCS Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck
2000	J	`jnl`	A Set Theory with Support for Partial Functions. Stud Logica William M. Farmer, Joshua D. Guttman
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
2000	—	`conf`	Security Goals: Packet Trajectories and Strand Spaces. FOSAD Joshua D. Guttman
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
1998	—	`conf`	Authentication for Mobile Agents. Mobile Agents and Security Shimshon Berkovits, Joshua D. Guttman, Vipin Swarup
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
1997	—	`conf`	Filtering Postures: Local Enforcement for Global Policies. S&P Joshua D. Guttman
1996	A	`conf`	IMPS: An Updated System Description. CADE William M. Farmer, Joshua D. Guttman, F. Javier Thayer
1996	A	`conf`	Security for Mobile Agents: Authentication and State Appraisal. ESORICS William M. Farmer, Joshua D. Guttman, Vipin Swarup
1995	J	`jnl`	Context in Mathematical Reasoning and Computation. J. Symb. Comput. William M. Farmer, Joshua D. Guttman, F. Javier Thayer
1995	J	`jnl`	The VLISP Verified Scheme System. LISP Symb. Comput. Joshua D. Guttman, John D. Ramsdell, Vipin Swarup
1995	J	`jnl`	VLISP: A Verified Implementation of Scheme. LISP Symb. Comput. Joshua D. Guttman, John D. Ramsdell, Mitchell Wand
1994	A	`conf`	Proof Script Pragmatics in IMPS. CADE William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer
1994	—	`conf`	Three Applications of Formal Methods at MITRE. FME Joshua D. Guttman, Dale M. Johnson
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
1992	—	`conf`	Panel: Use of Formal Methods in the Analysis of Cryptographic Protocols. CSFW Joshua D. Guttman
1990	A	`conf`	IMPS: An Interactive Mathematical Proof System. CADE William M. Farmer, Joshua D. Guttman, F. Javier Thayer
1990	—	`conf`	Verifying a Hardware Security Architecture. S&P Joshua D. Guttman, H.-P. Ko
1988	—	`conf`	What Needs Securing. CSFW Joshua D. Guttman, Mark E. Nadel
1987	—	`conf`	Information Flow and Invariance. S&P Joshua D. Guttman