John D. Ramsdell

Principles of remote attestation

George Coker, Joshua D. Guttman, Peter Loscocco et al. · International Journal of Information Security · 2011 · 239 citations

Computing, Computer Science, Cybersecurity +11

Verifying information flow goals in Security-Enhanced Linux

Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell et al. · Journal of Computer Security · 2005 · 85 citations

Computing, Computer Science, Computer Systems +17

Estimation of Sparse Jacobian Matrices

Garry N. Newsam, John D. Ramsdell · SIAM Journal on Algebraic and Discrete Methods · 1983 · 82 citations

Computing, Computer Science, Mathematics +16

VLISP: A verified implementation of Scheme

Joshua D. Guttman, John D. Ramsdell, Mitchell Wand · LISP and Symbolic Computation · 1995 · 67 citations

Computing, Computer Engineering, Computer Science +2

Information Flow in Operating Systems: Eager Formal Methods

Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell · 2003 · 34 citations

Computing, Computer Science, Computer Systems +9