Paul D. Rowe
Identifiers
- name variant Paul D. Rowe 0.60 · backfill
Papers (6)
- Limitations on Observability of Effects in Cyber-Physical Systems cs.CR · 2019 · author #2
- Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version) cs.CR · 2018 · author #4
- Principles of Layered Attestation cs.CR · 2016 · author #1
- Formal Support for Standardizing Protocols with State cs.CR · 2015 · author #4
- A Cut Principle for Information Flow cs.CR · 2014 · author #2
- A Hybrid Analysis for Security Protocols with State cs.CR · 2014 · author #4
Mentions
- 1509.07552 #4 · backfill · confidence 0.70 Paul D. Rowe
- 1410.4617 #2 · backfill · confidence 0.70 Paul D. Rowe
- 1404.3899 #4 · backfill · confidence 0.70 Paul D. Rowe
Frequent Coauthors
- Joshua D. Guttman 4 shared papers
- John D. Ramsdell 3 shared papers
- Moses D. Liskov 2 shared papers
- Daniel J. Dougherty 1 shared papers
- F. Javier Thayer 1 shared papers
- Suresh K. Damodaran 1 shared papers