pith. sign in

Paul D. Rowe

Identifiers

  • name variant Paul D. Rowe 0.60 · backfill

Papers (6)

  1. Limitations on Observability of Effects in Cyber-Physical Systems cs.CR · 2019 · author #2
  2. Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version) cs.CR · 2018 · author #4
  3. Principles of Layered Attestation cs.CR · 2016 · author #1
  4. Formal Support for Standardizing Protocols with State cs.CR · 2015 · author #4
  5. A Cut Principle for Information Flow cs.CR · 2014 · author #2
  6. 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