| 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 | 76 | 2017 |
| Modeling and security analysis of a commercial real-time operating system kernel RJ Richards Design and Verification of Microprocessor Systems for High-Assurance …, 2010 | 64 | 2010 |
| 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 | 47 | 2010 |
| A summary of intrinsic partitioning verification D Greve, R Richards, M Wilding 5th International Workshop on the ACL2 Theorem Prover and Its Applications …, 2004 | 47 | 2004 |
| The common criteria, formal methods and ACL2 R Richards, D Greve, M Wilding, WM Vanfleet ACL2 Workshop, 2004 | 22 | 2004 |
| An ACL2 library for bags (multisets) E Smith, S Nelesen, D Greve, M Wilding, R Richards ACL2 Workshop, 2004 | 10 | 2004 |
| High-assurance cyber military systems (HACMS) R Richards DARPA. mil, 2016 | 9 | 2016 |
| 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 | 8 | 2005 |
| Towards safety critical middleware for avionics applications DA Haverkamp, RJ Richards 27th Annual IEEE Conference on Local Computer Networks, 2002. Proceedings …, 2002 | 7 | 2002 |
| 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 | 3 | 1997 |
| Blocking Entry Points in Message-Driven Parallel Systems RJ Richards, B Ramkumar PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, II-85, 1995 | 3 | 1995 |
| 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 | 2 | 2014 |
| ELMO: Extending (Sequential) Languages with Migratable Objects RJ Richards, B Ramkumar, SG Rathnam Fourth International Conference on High Performance Computing: Proceedings …, 1997 | | 1997 |
| An approach to debugging task-parallel programs R Richards ISBN:0-591-71537-6, 1997 | | 1997 |
