| 10977367 |
Detecting malicious firmware modification |
B. Thomas Adler, Srishti Srivastava |
2021-04-13 |
| 10726131 |
Systems and methods for mitigation of permanent denial of service attacks |
Oded Horovitz, Stephen A. Weis |
2020-07-28 |
| 10049048 |
Method and system for using processor enclaves and cache partitioning to assist a software cryptoprocessor |
Oded Horovitz, Stephen A. Weis, Carl A. Waldspurger |
2018-08-14 |
| 10037282 |
System and method for partitioning of memory units into non-conflicting sets |
Carl A. Waldspurger, Oded Horovitz, Stephen A. Weis |
2018-07-31 |
| 9983894 |
Method and system for providing secure system execution on hardware supporting secure application execution |
Oded Horovitz, Stephen A. Weis, Carl A. Waldspurger |
2018-05-29 |
| 9747450 |
Attestation using a combined measurement and its constituent measurements |
Oded Horovitz, Stephen A. Weis, Daniel T. Arai |
2017-08-29 |
| 9734092 |
Secure support for I/O in software cryptoprocessor |
Oded Horovitz, Stephen A. Weis, Carl A. Waldspurger |
2017-08-15 |
| 9639482 |
Software cryptoprocessor |
Oded Horovitz, Stephen A. Weis, Carl A. Waldspurger |
2017-05-02 |
| 9477603 |
System and method for partitioning of memory units into non-conflicting sets |
Carl A. Waldspurger, Oded Horovitz, Stephen A. Weis |
2016-10-25 |
| 9304915 |
Virtualization system using hardware assistance for page table coherence |
Keith Adams |
2016-04-05 |
| 9164924 |
Software cryptoprocessor |
Oded Horovitz, Stephen A. Weis, Carl A. Waldspurger |
2015-10-20 |
| 8838914 |
Virtualization system using hardware assistance for shadow page table coherence |
Keith Adams |
2014-09-16 |
| 8762684 |
Hardware assistance for page table coherence with guest page mappings |
Keith Adams |
2014-06-24 |
| 8521504 |
Method and apparatus for managing registers in a binary translator |
Xiaoxin Chen |
2013-08-27 |
| 8443156 |
Virtualization system using hardware assistance for shadow page table coherence |
Keith Adams |
2013-05-14 |
| 8266628 |
Switching between multiple software entities using different operating modes of a processor |
Xiaoxin Chen, Alberto J. Munoz, Robert D. Manchester |
2012-09-11 |
| 8219779 |
Hardware assistance for shadow page table coherence with guest page mappings |
Keith Adams |
2012-07-10 |
| 8060722 |
Hardware assistance for shadow page table coherence with guest page mappings |
Keith Adams |
2011-11-15 |
| 8015388 |
Bypassing guest page table walk for shadow page table entries not present in guest page table |
Pratap Subrahmanyam |
2011-09-06 |
| 7478388 |
Switching between multiple software entities using different operating modes of a processor in a computer system |
Xiaoxin Chen, Alberto J. Munoz, Robert D. Manchester |
2009-01-13 |
| 7409487 |
Virtualization system for computers that use address space indentifiers |
Xiaoxin Chen, Alberto J. Munoz |
2008-08-05 |
| 7260815 |
Method and apparatus for managing registers in a binary translator |
Xiaoxin Chen |
2007-08-21 |
