Follow
John D. Ramsdell
John D. Ramsdell
Verified email at mitre.org - Homepage
Title
Cited by
Cited by
Year
Principles of remote attestation
G Coker, J Guttman, P Loscocco, A Herzog, J Millen, B O’Hanlon, ...
International Journal of Information Security 10, 63-81, 2011
2882011
Verifying information flow goals in security-enhanced Linux
JD Guttman, AL Herzog, JD Ramsdell, CW Skorupka
Journal of Computer Security 13 (1), 115-134, 2005
1292005
Estimation of sparse Jacobian matrices
GN Newsam, JD Ramsdell
SIAM Journal on Algebraic Discrete Methods 4 (3), 404-418, 1983
1051983
VLISP: A verified implementation of Scheme
JD Guttman, JD Ramsdell, M Wand
Lisp and Symbolic Computation 8 (1), 5-32, 1995
961995
Trust management in strand spaces: A rely-guarantee method
JD Guttman, FJ Thayer, JA Carlson, JC Herzog, JD Ramsdell, BT Sniffen
European Symposium on Programming, 325-339, 2004
952004
The VLISP verified PreScheme compiler
DP Oliva, JD Ramsdell, M Wand
VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and …, 1995
541995
Information flow in operating systems: Eager formal methods
JD Guttman, AL Herzog, JD Ramsdell
Workshop on Issues in the Theory of Security (WITS), 2003
502003
Programming cryptographic protocols
JD Guttman, JC Herzog, JD Ramsdell, BT Sniffen
International Symposium on Trustworthy Global Computing, 116-145, 2005
492005
The VLISP verified scheme system
JD Guttman, JD Ramsdell, V Swarup
Lisp and Symbolic Computation 8 (1), 33-110, 1995
391995
Guided policy generation for application authors
BT Sniffen, DR Harris, JD Ramsdell
SELinux Symposium, 2006
322006
Attestation architecture and system
IIGS Coker, AL Herzog, J Guttman, PA Loscocco, JK Millen, JD Ramsdell, ...
US Patent 9,276,905, 2016
302016
A correctness proof for combinator reduction with cycles
WM Farmer, JD Ramsdell, RJ Watro
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (1), 123-134, 1990
281990
CPSA: A cryptographic protocol shapes analyzer
JD Ramsdell, JD Guttman
Hackage. The MITRE Corporation 2 (009), 2009
262009
A guide to vlisp, a verified programming language implementation
JD Guttman, LG Monk, JD Ramsdell, WM Farmer, V Swarup
M 92B091, The MITRE Corporation, 1992
221992
Flexible mechanisms for remote attestation
SC Helble, ID Kretz, PA Loscocco, JD Ramsdell, PD Rowe, P Alexander
ACM Transactions on Privacy and Security (TOPS) 24 (4), 1-23, 2021
212021
A hybrid analysis for security protocols with state
JD Ramsdell, DJ Dougherty, JD Guttman, PD Rowe
International Conference on Integrated Formal Methods, 272-287, 2014
202014
Analysis of a measured launch
J Millen, J Guttman, J Ramsdell, J Sheehy, B Sniffen, MA Bedford
The MITRE Corporation, Tech. Rep, 2007
202007
Orchestrating layered attestations
JD Ramsdell, PD Rowe, P Alexander, SC Helble, P Loscocco, ...
Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019
162019
CPSA: A cryptographic protocol shapes analyzer, 2009
JD Ramsdell, JD Guttman
16
The CPSA Specification: A Reduction System for Searching for Shapes in Cryptographic Protocols
JD Ramsdell, JD Guttman, MD Liskov, PD Rowe
The MITRE Corporation, 2009
122009
The system can't perform the operation now. Try again later.
Articles 1–20