| 10802990 |
Hardware based mandatory access control |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Mark F. Mergen, David R. Safford |
2020-10-13 |
| 10255463 |
Secure computer architecture |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Mark F. Mergen, David R. Safford |
2019-04-09 |
| 9996709 |
Secure computer architecture |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Mark F. Mergen, David R. Safford |
2018-06-12 |
| 9075644 |
Secure recursive virtualization |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Suzanne K. McIntosh, Mark F. Mergen +1 more |
2015-07-07 |
| 8850557 |
Processor and data processing method with non-hierarchical computer security enhancements for context states |
Richard H. Boivie, William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Suzanne K. McIntosh +3 more |
2014-09-30 |
| 8286164 |
Secure recursive virtualization |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Suzanne K. McIntosh, Mark F. Mergen +1 more |
2012-10-09 |
| 8135766 |
Method, apparatus and system for resistance to side channel attacks on random number generators |
Suresh N. Chari, Vincenzo V. Diluoffo, Paul A. Karger, Elaine R. Palmer, Tal Rabin +4 more |
2012-03-13 |
| 8135937 |
Logical partition memory |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Mark F. Mergen, David R. Safford |
2012-03-13 |
| 7861305 |
Method and system for hardware based program flow monitor for embedded software |
Suzanne K. McIntosh, Daniel Brand, Matthew Kaplan, Paul A. Karger, Michael McIntosh +3 more |
2010-12-28 |
| 7496616 |
Method, apparatus and system for resistance to side channel attacks on random number generators |
Suresh N. Chari, Vincenzo V. Diluoffo, Paul A. Karger, Elaine R. Palmer, Tal Rabin +4 more |
2009-02-24 |
| 6430561 |
Security policy for protection of files on a storage device |
Vernon Ralph Austel, Paul A. Karger |
2002-08-06 |