Publications

Refereed Journal Publications

  1. 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.  [.pdf]
  2. Max Kanovich, Paul Rowe and Andre Scedrov. Collaborative Planning with ConfidentialityJournal of Automated Reasoning 46 (3-4) (2011) 389-421. [.pdf]


Refereed Conferences and Workshops

  1. Suresh K. Damodaran and Paul D. Rowe. Limitations on Observability of Effects in Cyber-Physical SystemsIn press.
  2. John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah C. Helble, Peter Loscocco, J. Aaron Pendergrass, and Adam Petz. Orchestrating Layered AttestationsPrinciples of Security and Trust (POST 2019). Springer LNCS 11426. April 2019.
  3. 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.
  4. 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. [.pdf]
  5. 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. [.pdf]
  6. 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). [.pdf].
  7. Paul D. Rowe. Confining Adversary Actions via Measurement. Graphical Models for Security (GraMSec 2016). Springer LNCS 9987. September, 2016. [.pdf]
  8. Paul D. Rowe. Bundling Evidence for Layered Attestation. Trust & Trustworthy Computing (TRUST 2016). Springer LNCS 9824. August, 2016. [.pdf]
  9. 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. [.pdf]
  10. Joshua D. Guttman and Paul D. Rowe. A Cut Principle for Information Flow. IEEE Symposium on Computer Security Foundations. July 2015. [.pdf]
  11. 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. [.pdf]
  12. 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. [.pdf]
  13. Max Kanovich, Paul Rowe and Andre Scedrov. Policy Compliance in Collaborative Systems. IEEE Symposium on Computer Security Foundations. July 2009. [.pdf]
  14. 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. [.pdf]
  15. Max Kanovich, Paul Rowe and Andre Scedrov. Collaborative Planning with Privacy. IEEE Symposium on Computer Security Foundations. July 2007. [.pdf]

Un-Refereed Manuscripts

Several preprints and un-refereed manuscripts are stored on arXiv.