Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Joshua Guttman
Map detail
Joshua Guttman3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipJoshua GuttmanAJoshua GuttmanResearcherExecution Models for Choreographies and CryptoprotocolsWExecution Models for Ch...preprint / 2010Report on the NSF Workshop on Formal Methods for SecurityWReport on the NSF Works...preprint / 2016
Person2 links

Joshua Guttman

Researcher