John D. Ramsdell

Identifiers

• name variant John D. Ramsdell 0.60 · backfill

Papers (7)

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

Mentions

• 1509.07552 #3 · backfill · confidence 0.70 John D. Ramsdell
• 1404.3899 #1 · backfill · confidence 0.70 John D. Ramsdell
• 1403.3563 #1 · backfill · confidence 0.70 John D. Ramsdell
• 1207.0418 #1 · backfill · confidence 0.70 John D. Ramsdell
• 1204.0480 #1 · backfill · confidence 0.70 John D. Ramsdell

Frequent Coauthors

• Joshua D. Guttman 5 shared papers
• Paul D. Rowe 3 shared papers
• Daniel J. Dougherty 2 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