Collaborative Planning With Privacy. - Max I. Kanovich; Paul D. Rowe; Andre Scedrov (CSF, 2007)

Analysis of EAP-GPSK Authentication Protocol. - John C. Mitchell; Arnab Roy 001; Paul D. Rowe; Andre Scedrov (ACNS, 2008)

Policy Compliance in Collaborative Systems. - Max I. Kanovich; Paul D. Rowe; Andre Scedrov (CSF, 2009)

Collaborative Planning with Confidentiality. - Max I. Kanovich; Paul D. Rowe; Andre Scedrov (J. Autom. Reason., 2011)

A Hybrid Analysis for Security Protocols with State. - John D. Ramsdell; Daniel J. Dougherty; Joshua D. Guttman; Paul D. Rowe (IFM, 2014)

Security Goals and Evolving Standards. - Joshua D. Guttman; Moses D. Liskov; Paul D. Rowe (SSR, 2014)

A Cut Principle for Information Flow. - Joshua D. Guttman; Paul D. Rowe (CSF, 2015)

Formal Support for Standardizing Protocols with State. - Joshua D. Guttman; Moses D. Liskov; John D. Ramsdell; Paul D. Rowe (SSR, 2015)

Confining Adversary Actions via Measurement. - Paul D. Rowe (GraMSec@CSF, 2016)

Decision-theoretic approach to designing cyber resilient systems. - Vineet Mehta; Paul D. Rowe; Gene Lewis; Ashe Magalhaes; Mykel J. Kochenderfer (NCA, 2016)

Cross-Tool Semantics for Protocol Security Goals. - Joshua D. Guttman; John D. Ramsdell; Paul D. Rowe (SSR, 2016)

Bundling Evidence for Layered Attestation. - Paul D. Rowe (TRUST, 2016)

Principles of Layered Attestation. - Paul D. Rowe (CoRR, 2016)

Measuring protocol strength with security goals. - Paul D. Rowe; Joshua D. Guttman; Moses D. Liskov (Int. J. Inf. Sec., 2016)

Continuous Verification for Cryptographic Protocol Development. - Andres Molina-Markham; Paul D. Rowe (SafeThings@SenSys, 2017)

Mission-focused cyber situational understanding via graph analytics. - Steven Noel; Paul D. Rowe; Stephen Purdy; Michael Limiero; Travis Lu; Will Mathews (CyCon, 2018)

Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version). - Moses D. Liskov; Joshua D. Guttman; John D. Ramsdell; Paul D. Rowe; F. Javier Thayer (CoRR, 2018)

Enrich-by-Need Protocol Analysis for Diffie-Hellman. - Moses D. Liskov; Joshua D. Guttman; John D. Ramsdell; Paul D. Rowe; F. Javier Thayer (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Limitations on observability of effects in cyber-physical systems. - Suresh K. Damodaran; Paul D. Rowe (HotSoS, 2019)

Orchestrating Layered Attestations. - John D. Ramsdell; Paul D. Rowe; Perry Alexander; Sarah Helble; Peter A. Loscocco; J. Aaron Pendergrass; Adam Petz (POST, 2019)

Assumption-Based Analysis of Distance-Bounding Protocols with cpsa. - Paul D. Rowe; Joshua D. Guttman; John D. Ramsdell (Logic, Language, and Security, 2020)

On Orderings in Security Models. - Paul D. Rowe (Protocols, Strands, and Logic, 2021)

Automated Trust Analysis of Copland Specifications for Layered Attestations✱. - Paul D. Rowe; John D. Ramsdell; Ian D. Kretz (PPDP, 2021)

Flexible Mechanisms for Remote Attestation. - Sarah C. Helble; Ian D. Kretz; Peter A. Loscocco; John D. Ramsdell; Paul D. Rowe; Perry Alexander (ACM Trans. Priv. Secur., 2021)

Evidence Tampering and Chain of Custody in Layered Attestations. - Ian D. Kretz; Paul D. Rowe; Clare C. Parran; John D. Ramsdell (PPDP, 2024)