Paul D. Rowe

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 21

Top Topics

Security Protocols

Information Flows

Top Venues

Foundations of Security, Protocols, and Equational Reasoning

Publications

Ian D. Kretz, Clare C. Parran, John D. Ramsdell, Paul D. Rowe
Evidence Tampering and Chain of Custody in Layered Attestations. CoRR (2024)
Sarah C. Helble, Ian D. Kretz, Peter A. Loscocco, John D. Ramsdell, Paul D. Rowe, Perry Alexander
Flexible Mechanisms for Remote Attestation. ACM Trans. Priv. Secur. 24 (4) (2021)
Paul D. Rowe, John D. Ramsdell, Ian D. Kretz
Automated Trust Analysis of Copland Specifications for Layered Attestations✱. PPDP (2021)
Paul D. Rowe
On Orderings in Security Models. Protocols, Strands, and Logic (2021)
Paul D. Rowe, Joshua D. Guttman, John D. Ramsdell
Assumption-Based Analysis of Distance-Bounding Protocols with cpsa. Logic, Language, and Security (2020)
John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz
Orchestrating Layered Attestations. POST (2019)
Suresh K. Damodaran, Paul D. Rowe
Limitations on Observability of Effects in Cyber-Physical Systems. CoRR (2019)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer
Enrich-by-Need Protocol Analysis for Diffie-Hellman. Foundations of Security, Protocols, and Equational Reasoning (2019)
Suresh K. Damodaran, Paul D. Rowe
Limitations on observability of effects in cyber-physical systems. HotSoS (2019)
Steven Noel, Paul D. Rowe, Stephen Purdy, Michael Limiero, Travis Lu, Will Mathews
Mission-focused cyber situational understanding via graph analytics. CyCon (2018)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer
Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version). CoRR (2018)
Andres Molina-Markham, Paul D. Rowe
Continuous Verification for Cryptographic Protocol Development. SafeThings@SenSys (2017)
Paul D. Rowe
Bundling Evidence for Layered Attestation. TRUST (2016)
Paul D. Rowe
Principles of Layered Attestation. CoRR (2016)
Vineet Mehta, Paul D. Rowe, Gene Lewis, Ashe Magalhaes, Mykel J. Kochenderfer
Decision-theoretic approach to designing cyber resilient systems. NCA (2016)
Paul D. Rowe
Confining Adversary Actions via Measurement. GraMSec@CSF (2016)
Paul D. Rowe, Joshua D. Guttman, Moses D. Liskov
Measuring protocol strength with security goals. Int. J. Inf. Sec. 15 (6) (2016)
Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe
Cross-Tool Semantics for Protocol Security Goals. SSR (2016)
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
Formal Support for Standardizing Protocols with State. SSR (2015)
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
Formal Support for Standardizing Protocols with State. CoRR (2015)
Joshua D. Guttman, Paul D. Rowe
A Cut Principle for Information Flow. CSF (2015)
Joshua D. Guttman, Paul D. Rowe
A Cut Principle for Information Flow. CoRR (2014)
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
A Hybrid Analysis for Security Protocols with State. IFM (2014)
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
A Hybrid Analysis for Security Protocols with State. CoRR (2014)
Joshua D. Guttman, Moses D. Liskov, Paul D. Rowe
Security Goals and Evolving Standards. SSR (2014)
Max I. Kanovich, Paul D. Rowe, Andre Scedrov
Collaborative Planning with Confidentiality. J. Autom. Reason. 46 (3-4) (2011)
Max I. Kanovich, Paul D. Rowe, Andre Scedrov
Policy Compliance in Collaborative Systems. CSF (2009)
John C. Mitchell, Arnab Roy, Paul D. Rowe, Andre Scedrov
Analysis of EAP-GPSK Authentication Protocol. ACNS (2008)
Max I. Kanovich, Paul D. Rowe, Andre Scedrov
Collaborative Planning With Privacy. CSF (2007)