| 10802990 |
Hardware based mandatory access control |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, David R. Safford, David C. Toll |
2020-10-13 |
| 10255463 |
Secure computer architecture |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, David R. Safford, David C. Toll |
2019-04-09 |
| 9996709 |
Secure computer architecture |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, David R. Safford, David C. Toll |
2018-06-12 |
| 9075644 |
Secure recursive virtualization |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Suzanne K. McIntosh, David R. Safford +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 |
| 8301863 |
Recursive logical partition real memory map |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, David R. Safford |
2012-10-30 |
| 8286164 |
Secure recursive virtualization |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Suzanne K. McIntosh, David R. Safford +1 more |
2012-10-09 |
| 8135937 |
Logical partition memory |
William E. Hall, Guerney D. H. Hunt, Paul A. Karger, David R. Safford, David C. Toll |
2012-03-13 |
| RE37305 |
Virtual memory address translation mechanism with controlled data persistence |
Albert Chang, John Cocke, George Radin |
2001-07-31 |
| RE36462 |
Method to control paging subsystem processing in virtual memory data processing system during execution of critical code sections |
Albert Chang, John T. O'Quin, II, John C. O'Quin, III, Mark D. Rogers |
1999-12-21 |
| 5197148 |
Method for maintaining data availability after component failure included denying access to others while completing by one of the microprocessor systems an atomic transaction changing a portion of the multiple copies of data |
Marion L. Blount, Anthony Cocchi, Stephen Morgan, Katalin A. V. Rader |
1993-03-23 |
| 4937736 |
Memory controller for protected memory with automatic access granting capability |
Albert Chang, John Cocke, Richard R. Oehler |
1990-06-26 |
| 4718008 |
Method to control paging subsystem processing in a virtual memory data processing system during execution of critical code sections |
Albert Chang, John T. O'Quin, II, John C. O'Quin, III, Mark D. Rogers |
1988-01-05 |
| 4638426 |
Virtual memory address translation mechanism with controlled data persistence |
Albert Chang, John Cocke, George Radin |
1987-01-20 |
