Issued Patents All Time
Showing 25 most recent of 47 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11907361 | System and method for supporting secure objects using a memory access control monitor | Richard H. Boivie, Kattamuri Ekanadham, Kenneth A. Goldman, William E. Hall, Guerney D. H. Hunt +5 more | 2024-02-20 |
| 11503030 | Service processor and system with secure booting and monitoring of service processor integrity | Patrick J. Callaghan, Kenneth A. Goldman, Guerney D. H. Hunt, Elaine R. Palmer, Dimitrios Pendarakis +3 more | 2022-11-15 |
| 11349872 | Provably secure application-specific cross-domain solutions | William David Smith, II, Krzysztof KEPA | 2022-05-31 |
| 11176255 | Securely booting a service processor and monitoring service processor integrity | Patrick J. Callaghan, Kenneth A. Goldman, Guerney D. H. Hunt, Elaine R. Palmer, Dimitrios Pendarakis +3 more | 2021-11-16 |
| 11150634 | Methods and systems for implementing distributed ledger manufacturing history | John Freer, Richard Paul Messmer, Arvind Rangarajan | 2021-10-19 |
| 11025640 | Verification of geolocation of devices in a cloud data center | Ashish Kundu, Dimitrios Pendarakis | 2021-06-01 |
| 10802990 | Hardware based mandatory access control | William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Mark F. Mergen, David C. Toll | 2020-10-13 |
| 10754323 | Methods and systems for implementing distributed ledger manufacturing history | John Freer, Richard Paul Messmer, Arvind Rangarajan | 2020-08-25 |
| 10706179 | Secure provisioning of secrets into MPSoC devices using untrusted third-party systems | Krzysztof KEPA, Willard M. Wiseman, Wesley Michael Skeffington, William David Smith, II | 2020-07-07 |
| 10628579 | System and method for supporting secure objects using a memory access control monitor | Richard H. Boivie, Kattamuri Ekanadham, Kenneth A. Goldman, William E. Hall, Guerney Douglass Holloway Hunt +5 more | 2020-04-21 |
| 10528740 | Securely booting a service processor and monitoring service processor integrity | Patrick J. Callaghan, Kenneth A. Goldman, Guerney D. H. Hunt, Elaine R. Palmer, Dimitrios Pendarakis +3 more | 2020-01-07 |
| 10528524 | Mitigation of geolocation based data remanence problems | Ashish Kundu, Dimitrios Pendarakis | 2020-01-07 |
| 10516676 | Verification of geolocation of devices in a cloud data center | Ashish Kundu, Dimitrios Pendarakis | 2019-12-24 |
| 10489597 | Blockchain verification of network security service | Atul Chandrakant Kshirsagar, William David Smith, II, Richard Paul Messmer | 2019-11-26 |
| 10397230 | Service processor and system with secure booting and monitoring of service processor integrity | Patrick J. Callaghan, Kenneth A. Goldman, Guerney D. H. Hunt, Elaine R. Palmer, Dimitrios Pendarakis +3 more | 2019-08-27 |
| 10255463 | Secure computer architecture | William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Mark F. Mergen, David C. Toll | 2019-04-09 |
| 10228924 | Application deployment and monitoring in a cloud environment to satisfy integrity and geo-fencing constraints | Stefan Berger, Kenneth A. Goldman, Simon J. Kofkin-Hansen, Hui Lei, Vijay K. Naik +3 more | 2019-03-12 |
| 10210333 | Secure industrial control platform | William David Smith, II, Safayet Nizam Uddin Ahmed, Joseph Czechowski, III | 2019-02-19 |
| 9996709 | Secure computer architecture | William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Mark F. Mergen, David C. Toll | 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 |
| 8301863 | Recursive logical partition real memory map | William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Mark F. Mergen | 2012-10-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 |
| 8135937 | Logical partition memory | William E. Hall, Guerney D. H. Hunt, Paul A. Karger, Mark F. Mergen, David C. Toll | 2012-03-13 |
| 8055912 | Method and system for bootstrapping a trusted server having redundant trusted platform modules | Steven A. Bade, Linda N. Betz, Andrew G. Kegel, Leendert Peter Van Doorn | 2011-11-08 |