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
2992011
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
1272005
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
551995
Information flow in operating systems: Eager formal methods
JD Guttman, AL Herzog, JD Ramsdell
Workshop on Issues in the Theory of Security (WITS), 2003
512003
Programming cryptographic protocols
JD Guttman, JC Herzog, JD Ramsdell, BT Sniffen
International Symposium on Trustworthy Global Computing, 116-145, 2005
502005
The VLISP verified scheme system
JD Guttman, JD Ramsdell, V Swarup
Lisp and Symbolic Computation 8 (1), 33-110, 1995
401995
Attestation architecture and system
IIGS Coker, AL Herzog, J Guttman, PA Loscocco, JK Millen, JD Ramsdell, ...
US Patent 9,276,905, 2016
322016
Guided policy generation for application authors
BT Sniffen, DR Harris, JD Ramsdell
SELinux Symposium, 2006
322006
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
CPSA: A cryptographic protocol shapes analyzer, 2009
JD Ramsdell, JD Guttman
17
Orchestrating layered attestations
JD Ramsdell, PD Rowe, P Alexander, SC Helble, P Loscocco, ...
Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019
142019
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
142009
The system can't perform the operation now. Try again later.
Articles 1–20