Prettyprinting structured programs with connector lines. - John D. Ramsdell (ACM SIGPLAN Notices, 1979)

The CURRY Chip. - John D. Ramsdell (LISP and Functional Programming, 1986)

The Alonzo functional programming language. - John D. Ramsdell (ACM SIGPLAN Notices, 1989)

A Correctness Proof for Combinator Reduction with Cycles. - William M. Farmer; John D. Ramsdell; Ronald J. Watro (ACM Trans. Program. Lang. Syst., 1990)

The VLISP Verified Scheme System. - Joshua D. Guttman; John D. Ramsdell; Vipin Swarup (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 PreScheme Compiler. - Dino Oliva; John D. Ramsdell; Mitchell Wand (LISP Symb. Comput., 1995)

CST: C State Transformers. - John D. Ramsdell (ACM SIGPLAN Notices, 1995)

The Tail-Recursive SECD Machine. - John D. Ramsdell (J. Autom. Reason., 1999)

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 (ESOP, 2004)

Programming Cryptographic Protocols. - Joshua D. Guttman; Jonathan C. Herzog; John D. Ramsdell; Brian T. Sniffen (TGC, 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)

Compiling cryptographic protocols for deployment on the web. - Jay A. McCarthy; Shriram Krishnamurthi; Joshua D. Guttman; John D. Ramsdell (WWW, 2007)

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)

Deducing Security Goals From Shape Analysis Sentences - John D. Ramsdell (CoRR, 2012)

An Analysis of the CAVES Attestation Protocol using CPSA - John D. Ramsdell; Joshua D. Guttman; Jonathan K. Millen; Brian O'Hanlon (CoRR, 2012)

A Hybrid Analysis for Security Protocols with State. - John D. Ramsdell; Daniel J. Dougherty; Joshua D. Guttman; Paul D. Rowe (IFM, 2014)

Proving Security Goals With Shape Analysis Sentences. - John D. Ramsdell (CoRR, 2014)

Formal Support for Standardizing Protocols with State. - Joshua D. Guttman; Moses D. Liskov; John D. Ramsdell; Paul D. Rowe (SSR, 2015)

Cross-Tool Semantics for Protocol Security Goals. - Joshua D. Guttman; John D. Ramsdell; Paul D. Rowe (SSR, 2016)

Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. - Daniel J. Dougherty; Joshua D. Guttman; John D. Ramsdell (IFM, 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)

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. - Moses D. Liskov; Joshua D. Guttman; John D. Ramsdell; Paul D. Rowe; F. Javier Thayer (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Orchestrating Layered Attestations. - John D. Ramsdell; Paul D. Rowe; Perry Alexander; Sarah Helble; Peter A. Loscocco; J. Aaron Pendergrass; Adam Petz (POST, 2019)

Understanding Attestation: Analyzing Protocols that Use Quotes. - Joshua D. Guttman; John D. Ramsdell (STM, 2019)

Assumption-Based Analysis of Distance-Bounding Protocols with cpsa. - Paul D. Rowe; Joshua D. Guttman; John D. Ramsdell (Logic, Language, and Security, 2020)

Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran. - John D. Ramsdell (Protocols, Strands, and Logic, 2021)

Automated Trust Analysis of Copland Specifications for Layered Attestations✱. - Paul D. Rowe; John D. Ramsdell; Ian D. Kretz (PPDP, 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)

Evidence Tampering and Chain of Custody in Layered Attestations. - Ian D. Kretz; Paul D. Rowe; Clare C. Parran; John D. Ramsdell (PPDP, 2024)