Refereed Journal Publications

  1. Sarah C. Helble, Ian D. Kretz, Peter A. Loscocco, John D. Ramsdell, Paul D. Rowe, and Perry Alexander. 2021. Flexible Mechanisms for Remote Attestation. ACM Trans. Priv. Secur. 24, 4, Article 29 (November 2021), 23 pages. (preprint)
  2. Joshua D. Guttman, Moses D. Liskov and Paul D. Rowe. Measuring Protocol Strength with Security Goals. International Journal of Information Security. (2016) 15(6):575-596. (preprint)
  3. Max Kanovich, Paul Rowe and Andre Scedrov. Collaborative Planning with Confidentiality. Journal of Automated Reasoning 46 (3-4) (2011) 389-421. (preprint)

Refereed Conferences & Workshops and Invited Chapters

2020s:

  1. Ian D. Kretz, Paul D. Rowe, Clare C. Parran, and John D. Ramsdell. 2024. Evidence Tampering and Chain of Custody in Layered Attestations. In Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP ‘24). Association for Computing Machinery, New York, NY, USA, Article 14, 1–11. (preprint)
  2. Paul D. Rowe. 2021. On Orderings in Security Models. Protocols, Strands, and Logic: Essays dedicated to Joshua Guttman on the Occasion of his 66.66 Birthday. Lecture Notes in Computer Science, vol 13066. Springer, Cham. (preprint)
  3. Paul D. Rowe, John D. Ramsdell, and Ian D. Kretz. 2021. Automated Trust Analysis of Copland Specifications for Layered Attestations In 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). Association for Computing Machinery, New York, NY, USA, Article 23, 1–15. (preprint)
  4. Paul D. Rowe, Joshua D. Guttman, John D. Ramsdell. Assumption-Based Analysis of Distance-Bounding Protocols with CPSA. In Logic, Language, and Security. Springer, 2020. (preprint)

2010s:

  1. Paul D. Rowe, J. Cory Miniter, Michael D. Norman. On the Sensitivity of Cyber Assessment Methodologies. In Resilience and Hybrid Threats, Igor Linkov, Lada Roslycky, Benjamin D. Trump, eds. IOS Press. November, 2019. (preprint)
  2. Heimir Thorisson, Fabrizio Baiardi, David G. Angeler, Kuldar Taveter, Ashok Vasheasta, Paul D. Rowe, Wojciech Piotrowicz, Thomas L. Polmateer, James H. Lambert, Igor Linkov. Resilience of Critical Infrastructure Systems to Hybrid Threats with Information Disruption. In Resilience and Hybrid Threats, Igor Linkov, Lada Roslycky, Benjamin D. Trump, eds. IOS Press. November, 2019. (preprint)
  3. 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: 135-155. (preprint)
  4. Suresh K. Damodaran and Paul D. Rowe. Limitations on Observability of Effects in Cyber-Physical Systems. Symposium on Hot Topics in the Science of Security, (HotSoS 2019). 2:1–2:10. April 2019. (preprint)
  5. John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah C. Helble, Peter Loscocco, J. Aaron Pendergrass, and Adam Petz. Orchestrating Layered Attestations. Principles of Security and Trust (POST 2019). Springer LNCS 11426. April 2019. (preprint)
  6. Steven Noel, Paul D. Rowe, Stephen Purdy, Michael Limiero, Travis Lu, Will Matthews. Mission-Focused Cyber Situational Understanding via Graph Analytics. CyCon 2018: 427-448. (preprint)
  7. Andres Molina-Markham and Paul D. Rowe. Continuous Verification for Cryptographic Protocol Development. ACM Workshop on the Internet of Safe Things (SafeThings 2017). November 2017. (preprint)
  8. Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe. Cross-Tool Semantics for Protocol Security Goals. Security Standardisation Research (SSR 2016). Springer LNCS 10074. December 2016. (preprint)
  9. Vineet Mehta, Paul D. Rowe, Gene Lewis, Ashe Magalhaes, Mykel J. Kochenderfer. Decision-Theoretic Approach to Designing Cyber Resilient Systems. IEEE Symposium on Network Computing and Applications (NCA 2016). (preprint)
  10. Paul D. Rowe. Confining Adversary Actions via Measurement. Graphical Models for Security (GraMSec 2016). Springer LNCS 9987. September, 2016. (preprint)
  11. Paul D. Rowe. Bundling Evidence for Layered Attestation. Trust & Trustworthy Computing (TRUST 2016). Springer LNCS 9824. August, 2016. (preprint)
  12. Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell and Paul D. Rowe. Formal Support for Standardizing Protocols with State. Security Standardisation Research (SSR 2015). Springer LNCS 9497. December, 2105. (preprint)
  13. Joshua D. Guttman and Paul D. Rowe. A Cut Principle for Information Flow. IEEE Symposium on Computer Security Foundations. July 2015. (preprint)
  14. Joshua D. Guttman, Moses D. Liskov and Paul D. Rowe. Security Goals and Evolving Standards. Security Standardisation Research (SSR 2014). Springer LNCS 8893. December, 2014. (preprint)
  15. John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman and Paul D. Rowe. A Hybrid Analysis for Security Protocols with State. Integrated Formal Methods. LNCS 8739. September 2014. (preprint)

2000s:

  1. Max Kanovich, Paul Rowe and Andre Scedrov. Policy Compliance in Collaborative Systems. IEEE Symposium on Computer Security Foundations. July 2009. (preprint)
  2. John C. Mitchell, Arnab Roy, Paul Rowe and Andre Scedrov. Analysis of EAP-GPSK Authentication Protocol. International Conference on Applied Cryptography and Network Security (ACNS’08). Springer LNCS 5037. June, 2008. (preprint)
  3. Max Kanovich, Paul Rowe and Andre Scedrov. Collaborative Planning with Privacy. IEEE Symposium on Computer Security Foundations. July 2007. (preprint)

Edited Volumes

Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul D. Rowe (Eds.): Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Lecture Notes in Computer Science 13066, Springer 2021, ISBN 978-3-030-91630-5

Un-Refereed Manuscripts

PhD Thesis for University of Pennsylvania.

Paul D. Rowe. Policy Compliance, Confidentiality and Complexity in Collaborative Systems. May 2009.

Several preprints and un-refereed manuscripts are stored on arXiv, and subsets of the above can be found on Google Scholar and Researchgate.

GuttmanFest slides