Follow
Raymond Richards
Raymond Richards
DARPA
Verified email at darpa.mil - Homepage
Title
Cited by
Cited by
Year
The HACMS program: using formal methods to eliminate exploitable bugs
K Fisher, J Launchbury, R Richards
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
712017
Modeling and security analysis of a commercial real-time operating system kernel
RJ Richards
Design and Verification of Microprocessor Systems for High-Assurance …, 2010
622010
Formal verification of partition management for the AAMP7G microprocessor
MM Wilding, DA Greve, RJ Richards, DS Hardin
Design and Verification of Microprocessor Systems for High-Assurance …, 2010
472010
A summary of intrinsic partitioning verification
D Greve, R Richards, M Wilding
5th International Workshop on the ACL2 Theorem Prover and Its Applications …, 2004
442004
The common criteria, formal methods and ACL2
R Richards, D Greve, M Wilding, WM Vanfleet
ACL2 Workshop, 2004
202004
An ACL2 library for bags (multisets)
E Smith, S Nelesen, D Greve, M Wilding, R Richards
ACL2 Workshop, 2004
102004
High-assurance cyber military systems (HACMS)
R Richards
DARPA. mil, 2016
92016
Formalizing security policies for dynamic and distributed systems
D Greve, M Wilding, R Richards, WM Vanfleet
Systems and Software Technology Conference (SSTC 2005), Utah State University, 2005
82005
Towards safety critical middleware for avionics applications
DA Haverkamp, RJ Richards
27th Annual IEEE Conference on Local Computer Networks, 2002. Proceedings …, 2002
82002
ELMO: extending sequential languages with migratable objects - compiler support
RJ Richards, R Ramkumar, SG Rathnam
Fourth International Conference on High Performance Computing, 180-185, 1997
31997
High assurance guard for security applications utilizing authentication and authorization services for sources of network data
DS Hardin, RJ Richards, MM Wilding
US Patent 8,881,260, 2014
22014
Blocking Entry Points in Message-Driven Parallel Systems
RJ Richards, B Ramkumar
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, II-85, 1995
21995
An approach to debugging task-parallel programs
R Richards
ISBN:0-591-71537-6, 1997
1997
The system can't perform the operation now. Try again later.
Articles 1–13