Skip to content

Paul D. Rowe

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

5

Active years

2008–2024

Best venue rank

C

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2024PPDPEvidence Tampering and Chain of Custody in Layered Attestations.Ian D. Kretz, Paul D. Rowe, Clare C. Parran, John D. Ramsdell
2021PPDPAutomated Trust Analysis of Copland Specifications for Layered Attestations✱.Paul D. Rowe, John D. Ramsdell, Ian D. Kretz
2017SENSYSContinuous Verification for Cryptographic Protocol Development.Andres Molina-Markham, Paul D. Rowe
2016NCADecision-theoretic approach to designing cyber resilient systems.Vineet Mehta, Paul D. Rowe, Gene Lewis, Ashe Magalhaes, Mykel J. Kochenderfer
2014IFMA Hybrid Analysis for Security Protocols with State.John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
2008ACNSAnalysis of EAP-GPSK Authentication Protocol.John C. Mitchell, Arnab Roy, Paul D. Rowe, Andre Scedrov