John D. Ramsdell
John D. Ramsdell
Verified email at - Homepage
Cited by
Cited by
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
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
Estimation of sparse Jacobian matrices
GN Newsam, JD Ramsdell
SIAM Journal on Algebraic Discrete Methods 4 (3), 404-418, 1983
VLISP: A verified implementation of Scheme
JD Guttman, JD Ramsdell, M Wand
Lisp and Symbolic Computation 8 (1), 5-32, 1995
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
The VLISP verified PreScheme compiler
DP Oliva, JD Ramsdell, M Wand
VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and …, 1995
Information flow in operating systems: Eager formal methods
JD Guttman, AL Herzog, JD Ramsdell
Workshop on Issues in the Theory of Security (WITS), 2003
Programming cryptographic protocols
JD Guttman, JC Herzog, JD Ramsdell, BT Sniffen
International Symposium on Trustworthy Global Computing, 116-145, 2005
The VLISP verified scheme system
JD Guttman, JD Ramsdell, V Swarup
Lisp and Symbolic Computation 8 (1), 33-110, 1995
Attestation architecture and system
IIGS Coker, AL Herzog, J Guttman, PA Loscocco, JK Millen, JD Ramsdell, ...
US Patent 9,276,905, 2016
Guided policy generation for application authors
BT Sniffen, DR Harris, JD Ramsdell
SELinux Symposium, 2006
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
CPSA: A cryptographic protocol shapes analyzer
JD Ramsdell, JD Guttman
Hackage. The MITRE Corporation 2 (009), 2009
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
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
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
Analysis of a measured launch
J Millen, J Guttman, J Ramsdell, J Sheehy, B Sniffen, MA Bedford
The MITRE Corporation, Tech. Rep, 2007
CPSA: A cryptographic protocol shapes analyzer, 2009
JD Ramsdell, JD Guttman
Orchestrating layered attestations
JD Ramsdell, PD Rowe, P Alexander, SC Helble, P Loscocco, ...
Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019
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
The system can't perform the operation now. Try again later.
Articles 1–20