Joshua D. Guttman

Available identifiers

Publication	Date of Publication	Type
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA	2023-06-28	Paper
IMPS : An interactive mathematical proof system	2023-04-28	Paper
Assumption-based analysis of distance-bounding protocols with \textsc{cpsa}	2021-07-08	Paper
Choreographies with secure boxes and compromised principals	2021-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5146597	2021-01-26	Paper
IMPS: An updated system description	2019-01-15	Paper
Cross-tool semantics for protocol security goals	2018-10-26	Paper
Information flow, distributed systems, and refinement, by example	2018-03-26	Paper
Sessions and separability in security protocols	2013-08-06	Paper
Key compromise, strand spaces, and the authentication tests	2013-04-26	Paper
Security goals and protocol transformations	2012-08-22	Paper
State and progress in strand spaces: proving fair exchange	2012-07-17	Paper
Transformations between Cryptographic Protocols	2009-10-22	Paper
Cryptographic Protocol Composition via the Authentication Tests	2009-03-31	Paper
Trustworthy Global Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4798027	2003-03-18	Paper
A set theory with support for partial functions	2001-07-26	Paper

This page was built for person: Joshua D. Guttman