Daniel J. Dougherty

Identifiers

• name variant Daniel J. Dougherty 0.60 · backfill

Papers (4)

1. Homomorphisms and Minimality for Enrich-by-Need Security Analysis cs.CR · 2018 · author #1
2. A Hybrid Analysis for Security Protocols with State cs.CR · 2014 · author #2
3. Symbolic Protocol Analysis for Diffie-Hellman cs.CR · 2012 · author #1
4. An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications cs.DB · 2010 · author #1

Mentions

• 1404.3899 #2 · backfill · confidence 0.70 Daniel J. Dougherty
• 1202.2168 #1 · backfill · confidence 0.70 Daniel J. Dougherty
• 1003.5350 #1 · backfill · confidence 0.70 Daniel J. Dougherty

Frequent Coauthors

• Joshua D. Guttman 3 shared papers
• John D. Ramsdell 2 shared papers
• Paul D. Rowe 1 shared papers