Paul D. Rowe

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