| 2007 |
|---|
| 12 | EE | Jay A. McCarthy,
Shriram Krishnamurthi,
Joshua D. Guttman,
John D. Ramsdell:
Compiling cryptographic protocols for deployment on the web.
WWW 2007: 687-696 |
| 2005 |
|---|
| 11 | EE | Joshua D. Guttman,
Jonathan C. Herzog,
John D. Ramsdell,
Brian T. Sniffen:
Programming Cryptographic Protocols.
TGC 2005: 116-145 |
| 10 | | 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) |
| 2004 |
|---|
| 9 | EE | 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 |
| 1999 |
|---|
| 8 | | John D. Ramsdell:
The Tail-Recursive SECD Machine.
J. Autom. Reasoning 23(1): 43-62 (1999) |
| 1995 |
|---|
| 7 | | Dino Oliva,
John D. Ramsdell,
Mitchell Wand:
The VLISP Verified PreScheme Compiler.
Lisp and Symbolic Computation 8(1-2): 111-182 (1995) |
| 6 | | Joshua D. Guttman,
John D. Ramsdell,
Vipin Swarup:
The VLISP Verified Scheme System.
Lisp and Symbolic Computation 8(1-2): 33-110 (1995) |
| 5 | | Joshua D. Guttman,
John D. Ramsdell,
Mitchell Wand:
VLISP: A Verified Implementation of Scheme.
Lisp and Symbolic Computation 8(1-2): 5-32 (1995) |
| 4 | | John D. Ramsdell:
CST: C State Transformers.
SIGPLAN Notices 30(12): 32-36 (1995) |
| 1990 |
|---|
| 3 | EE | 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) |
| 1989 |
|---|
| 2 | EE | John D. Ramsdell:
The Alonzo functional programming language.
SIGPLAN Notices 24(9): 152-157 (1989) |
| 1986 |
|---|
| 1 | | John D. Ramsdell:
The CURRY Chip.
LISP and Functional Programming 1986: 122-131 |
