John D. Ramsdell

Publication Activity (10 Years)

Years Active: 1979-2024
Publications (10 Years): 12

Top Topics

Remote Attestation

Security Protocols

Fourier Descriptors

Top Venues

Foundations of Security, Protocols, and Equational Reasoning

Publications

Ian D. Kretz, Clare C. Parran, John D. Ramsdell, Paul D. Rowe
Evidence Tampering and Chain of Custody in Layered Attestations. CoRR (2024)
Sarah C. Helble, Ian D. Kretz, Peter A. Loscocco, John D. Ramsdell, Paul D. Rowe, Perry Alexander
Flexible Mechanisms for Remote Attestation. ACM Trans. Priv. Secur. 24 (4) (2021)
Paul D. Rowe, John D. Ramsdell, Ian D. Kretz
Automated Trust Analysis of Copland Specifications for Layered Attestations✱. PPDP (2021)
John D. Ramsdell
Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran. Protocols, Strands, and Logic (2021)
Paul D. Rowe, Joshua D. Guttman, John D. Ramsdell
Assumption-Based Analysis of Distance-Bounding Protocols with cpsa. Logic, Language, and Security (2020)
John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz
Orchestrating Layered Attestations. POST (2019)
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)
Joshua D. Guttman, John D. Ramsdell
Understanding Attestation: Analyzing Protocols that Use Quotes. STM (2019)
Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. IFM (2018)
Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
Homomorphisms and Minimality for Enrich-by-Need Security Analysis. CoRR (2018)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer
Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version). CoRR (2018)
Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe
Cross-Tool Semantics for Protocol Security Goals. SSR (2016)
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
Formal Support for Standardizing Protocols with State. SSR (2015)
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
Formal Support for Standardizing Protocols with State. CoRR (2015)
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
A Hybrid Analysis for Security Protocols with State. IFM (2014)
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
A Hybrid Analysis for Security Protocols with State. CoRR (2014)
John D. Ramsdell
Proving Security Goals With Shape Analysis Sentences. CoRR (2014)
John D. Ramsdell
Deducing Security Goals From Shape Analysis Sentences CoRR (2012)
John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon
An Analysis of the CAVES Attestation Protocol using CPSA CoRR (2012)
George Coker, Joshua D. Guttman, Peter A. Loscocco, Amy L. Herzog, Jonathan K. Millen, Brian O'Hanlon, John D. Ramsdell, Ariel Segall, Justin Sheehy, Brian T. Sniffen
Principles of remote attestation. Int. J. Inf. Sec. 10 (2) (2011)
Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell
Compiling cryptographic protocols for deployment on the web. WWW (2007)
Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
Programming Cryptographic Protocols. TGC (2005)
Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka
Verifying information flow goals in Security-Enhanced Linux. J. Comput. Secur. 13 (1) (2005)
Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
Trust Management in Strand Spaces: A Rely-Guarantee Method. ESOP (2004)
John D. Ramsdell
The Tail-Recursive SECD Machine. J. Autom. Reason. 23 (1) (1999)
Joshua D. Guttman, John D. Ramsdell, Mitchell Wand
VLISP: A Verified Implementation of Scheme. LISP Symb. Comput. 8 (1-2) (1995)
Dino Oliva, John D. Ramsdell, Mitchell Wand
The VLISP Verified PreScheme Compiler. LISP Symb. Comput. 8 (1-2) (1995)
John D. Ramsdell
CST: C State Transformers. ACM SIGPLAN Notices 30 (12) (1995)
Joshua D. Guttman, John D. Ramsdell, Vipin Swarup
The VLISP Verified Scheme System. LISP Symb. Comput. 8 (1-2) (1995)
William M. Farmer, John D. Ramsdell, Ronald J. Watro
A Correctness Proof for Combinator Reduction with Cycles. ACM Trans. Program. Lang. Syst. 12 (1) (1990)
John D. Ramsdell
The Alonzo functional programming language. ACM SIGPLAN Notices 24 (9) (1989)
John D. Ramsdell
The CURRY Chip. LISP and Functional Programming (1986)
John D. Ramsdell
Prettyprinting structured programs with connector lines. ACM SIGPLAN Notices 14 (9) (1979)