Joshua D. Guttman

Identifiers

• name variant Joshua D. Guttman 0.60 · backfill

Papers (7)

1. Homomorphisms and Minimality for Enrich-by-Need Security Analysis cs.CR · 2018 · author #2
2. Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version) cs.CR · 2018 · author #2
3. Formal Support for Standardizing Protocols with State cs.CR · 2015 · author #1
4. A Cut Principle for Information Flow cs.CR · 2014 · author #1
5. A Hybrid Analysis for Security Protocols with State cs.CR · 2014 · author #3
6. An Analysis of the CAVES Attestation Protocol using CPSA cs.CR · 2012 · author #2
7. Symbolic Protocol Analysis for Diffie-Hellman cs.CR · 2012 · author #2

Mentions

• 1509.07552 #1 · backfill · confidence 0.70 Joshua D. Guttman
• 1410.4617 #1 · backfill · confidence 0.70 Joshua D. Guttman
• 1404.3899 #3 · backfill · confidence 0.70 Joshua D. Guttman
• 1207.0418 #2 · backfill · confidence 0.70 Joshua D. Guttman
• 1202.2168 #2 · backfill · confidence 0.70 Joshua D. Guttman

Frequent Coauthors

• John D. Ramsdell 5 shared papers
• Paul D. Rowe 4 shared papers
• Daniel J. Dougherty 3 shared papers
• Moses D. Liskov 2 shared papers
• Brian O'Hanlon 1 shared papers
• F. Javier Thayer 1 shared papers
• Jonathan K. Millen 1 shared papers