John D. Ramsdell

According to our database, John D. Ramsdell authored at least 31 papers between 1979 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Evidence Tampering and Chain of Custody in Layered Attestations.

Ian D. Kretz, Paul D. Rowe, Clare C. Parran, John D. Ramsdell

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

2021

Flexible Mechanisms for Remote Attestation.

Sarah C. Helble, Ian D. Kretz, Peter A. Loscocco, John D. Ramsdell, Paul D. Rowe, Perry Alexander

ACM Trans. Priv. Secur., 2021

Automated Trust Analysis of Copland Specifications for Layered Attestations✱.

Paul D. Rowe, John D. Ramsdell, Ian D. Kretz

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran.

John D. Ramsdell

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Assumption-Based Analysis of Distance-Bounding Protocols with cpsa.

Paul D. Rowe, Joshua D. Guttman, John D. Ramsdell

Proceedings of the Logic, 2020

2019

Understanding Attestation: Analyzing Protocols that Use Quotes.

Joshua D. Guttman, John D. Ramsdell

Proceedings of the Security and Trust Management - 15th International Workshop, 2019

Orchestrating Layered Attestations.

John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

Enrich-by-Need Protocol Analysis for Diffie-Hellman.

Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

Homomorphisms and Minimality for Enrich-by-Need Security Analysis.

Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell

CoRR, 2018

Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version).

Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe, F. Javier Thayer

CoRR, 2018

Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA.

Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2016

Cross-Tool Semantics for Protocol Security Goals.

Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe

Proceedings of the Security Standardisation Research - Third International Conference, 2016

2015

Formal Support for Standardizing Protocols with State.

Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe

Proceedings of the Security Standardisation Research - Second International Conference, 2015

2014

Proving Security Goals With Shape Analysis Sentences.

John D. Ramsdell

CoRR, 2014

A Hybrid Analysis for Security Protocols with State.

John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2012

An Analysis of the CAVES Attestation Protocol using CPSA

John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon

CoRR, 2012

Deducing Security Goals From Shape Analysis Sentences

John D. Ramsdell

CoRR, 2012

2011

Principles of remote attestation.

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

Int. J. Inf. Sec., 2011

2007

Compiling cryptographic protocols for deployment on the web.

Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell

Proceedings of the 16th International Conference on World Wide Web, 2007

2005

Verifying information flow goals in Security-Enhanced Linux.

Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka

J. Comput. Secur., 2005

Programming Cryptographic Protocols.

Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2004

Trust Management in Strand Spaces: A Rely-Guarantee Method.

Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen

Proceedings of the Programming Languages and Systems, 2004

1999

The Tail-Recursive SECD Machine.

John D. Ramsdell

J. Autom. Reason., 1999

1995

CST: C State Transformers.

John D. Ramsdell

ACM SIGPLAN Notices, 1995

The VLISP Verified PreScheme Compiler.

Dino Oliva, John D. Ramsdell, Mitchell Wand

LISP Symb. Comput., 1995

VLISP: A Verified Implementation of Scheme.

Joshua D. Guttman, John D. Ramsdell, Mitchell Wand

LISP Symb. Comput., 1995

The VLISP Verified Scheme System.

Joshua D. Guttman, John D. Ramsdell, Vipin Swarup

LISP Symb. Comput., 1995

1990

A Correctness Proof for Combinator Reduction with Cycles.

William M. Farmer, John D. Ramsdell, Ronald J. Watro

ACM Trans. Program. Lang. Syst., 1990

1989

The Alonzo functional programming language.

John D. Ramsdell

ACM SIGPLAN Notices, 1989

1986

The CURRY Chip.

John D. Ramsdell

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1979

Prettyprinting structured programs with connector lines.

John D. Ramsdell

ACM SIGPLAN Notices, 1979