John D. Ramsdell

John D. Ramsdell: Deducing Security Goals From Shape Analysis Sentences. CoRR abs/1204.0480 (2012)

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

George Coker, Joshua D. Guttman, Peter 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): 63-81 (2011)

Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell: Compiling cryptographic protocols for deployment on the web. WWW 2007: 687-696

Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka: Verifying information flow goals in Security-Enhanced Linux. Journal of Computer Security 13(1): 115-134 (2005)

Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen: Programming Cryptographic Protocols. TGC 2005: 116-145

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: 325-339

John D. Ramsdell: The Tail-Recursive SECD Machine. J. Autom. Reasoning 23(1): 43-62 (1999)

Joshua D. Guttman, John D. Ramsdell, Mitchell Wand: VLISP: A Verified Implementation of Scheme. Lisp and Symbolic Computation 8(1-2): 5-32 (1995)

Joshua D. Guttman, John D. Ramsdell, Vipin Swarup: The VLISP Verified Scheme System. Lisp and Symbolic Computation 8(1-2): 33-110 (1995)

Dino Oliva, John D. Ramsdell, Mitchell Wand: The VLISP Verified PreScheme Compiler. Lisp and Symbolic Computation 8(1-2): 111-182 (1995)

John D. Ramsdell: CST: C State Transformers. SIGPLAN Notices 30(12): 32-36 (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): 123-134 (1990)

John D. Ramsdell: The Alonzo functional programming language. SIGPLAN Notices 24(9): 152-157 (1989)

John D. Ramsdell: The CURRY Chip. LISP and Functional Programming 1986: 122-131