John D. Ramsdell

34 papers A* 1A 1B 2C 2Journal 19Unranked 9
YearRankTypeTitle / Venue / Authors
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 — conf
Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran.
Protocols, Strands, and Logic
John D. Ramsdell
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
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 — conf
Orchestrating Layered Attestations.
POST
John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz
2019 — conf
Understanding Attestation: Analyzing Protocols that Use Quotes.
STM
Joshua D. Guttman, John D. Ramsdell
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 J jnl
Homomorphisms and Minimality for Enrich-by-Need Security Analysis.
CoRR
Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
2018 B conf
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA.
IFM
Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
2016 — conf
Cross-Tool Semantics for Protocol Security Goals.
SSR
Joshua D. Guttman, John D. Ramsdell, 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 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 J jnl
Proving Security Goals With Shape Analysis Sentences.
CoRR
John D. Ramsdell
2012 J jnl
An Analysis of the CAVES Attestation Protocol using CPSA
CoRR
John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon
2012 J jnl
Deducing Security Goals From Shape Analysis Sentences
CoRR
John D. Ramsdell
2011 J jnl
Principles of remote attestation.
Int. J. Inf. Sec.
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
2007 A* conf
Compiling cryptographic protocols for deployment on the web.
WWW
Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell
2005 — conf
Programming Cryptographic Protocols.
TGC
Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
2005 J jnl
Verifying information flow goals in Security-Enhanced Linux.
J. Comput. Secur.
Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka
2004 A conf
Trust Management in Strand Spaces: A Rely-Guarantee Method.
ESOP
Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
1999 J jnl
The Tail-Recursive SECD Machine.
J. Autom. Reason.
John D. Ramsdell
1995 J jnl
CST: C State Transformers.
ACM SIGPLAN Notices
John D. Ramsdell
1995 J jnl
The VLISP Verified PreScheme Compiler.
LISP Symb. Comput.
Dino Oliva, John D. Ramsdell, Mitchell Wand
1995 J jnl
The VLISP Verified Scheme System.
LISP Symb. Comput.
Joshua D. Guttman, John D. Ramsdell, Vipin Swarup
1995 J jnl
VLISP: A Verified Implementation of Scheme.
LISP Symb. Comput.
Joshua D. Guttman, John D. Ramsdell, Mitchell Wand
1990 J jnl
A Correctness Proof for Combinator Reduction with Cycles.
ACM Trans. Program. Lang. Syst.
William M. Farmer, John D. Ramsdell, Ronald J. Watro
1989 J jnl
The Alonzo functional programming language.
ACM SIGPLAN Notices
John D. Ramsdell
1986 — conf
The CURRY Chip.
LISP and Functional Programming
John D. Ramsdell
1979 J jnl
Prettyprinting structured programs with connector lines.
ACM SIGPLAN Notices
John D. Ramsdell