| 10726131 |
Systems and methods for mitigation of permanent denial of service attacks |
Sahil Rihan, Stephen A. Weis |
2020-07-28 |
| 10049048 |
Method and system for using processor enclaves and cache partitioning to assist a software cryptoprocessor |
Stephen A. Weis, Sahil Rihan, Carl A. Waldspurger |
2018-08-14 |
| 10037282 |
System and method for partitioning of memory units into non-conflicting sets |
Carl A. Waldspurger, Stephen A. Weis, Sahil Rihan |
2018-07-31 |
| 9983894 |
Method and system for providing secure system execution on hardware supporting secure application execution |
Stephen A. Weis, Sahil Rihan, Carl A. Waldspurger |
2018-05-29 |
| 9747450 |
Attestation using a combined measurement and its constituent measurements |
Sahil Rihan, Stephen A. Weis, Daniel T. Arai |
2017-08-29 |
| 9734092 |
Secure support for I/O in software cryptoprocessor |
Sahil Rihan, Stephen A. Weis, Carl A. Waldspurger |
2017-08-15 |
| 9639482 |
Software cryptoprocessor |
Stephen A. Weis, Carl A. Waldspurger, Sahil Rihan |
2017-05-02 |
| 9477603 |
System and method for partitioning of memory units into non-conflicting sets |
Carl A. Waldspurger, Stephen A. Weis, Sahil Rihan |
2016-10-25 |
| 9164924 |
Software cryptoprocessor |
Stephen A. Weis, Carl A. Waldspurger, Sahil Rihan |
2015-10-20 |
| 8966623 |
Managing execution of a running-page in a virtual machine |
Samuel Larsen, Gilad Arie Wolff, Marios Leventopoulos, Bharath Chandramohan |
2015-02-24 |
| 8763115 |
Impeding progress of malicious guest software |
Dmitriy Budko, Xiaoxin Chen, Carl A. Waldspurger |
2014-06-24 |
| 8402441 |
Monitoring execution of guest code in a virtual machine |
Dmitriy Budko, Xiaoxin Chen, Pratap Subrahmanyam, Carl A. Waldspurger |
2013-03-19 |
| 8271450 |
Monitoring a data structure in a virtual machine and determining if memory pages containing the data structure are swapped into or out of guest physical memory |
Ophir Rachman, Wei Xu, Adrian Drzewiecki, Xiaoxin Chen |
2012-09-18 |
| 8250519 |
Forcing registered code into an execution context of guest software |
Dmitriy Budko, Xiaoxin Chen, Pratap Subrahmanyam, Carl A. Waldspurger |
2012-08-21 |
| 8132164 |
System, method and computer program product for virtual patching |
Yona Hollander |
2012-03-06 |
| 7784034 |
System, method and computer program product for hooking a COM interface |
Gregory William Dalcher |
2010-08-24 |
| 7281268 |
System, method and computer program product for detection of unwanted processes |
Yona Hollander |
2007-10-09 |
| 7213153 |
Application program interface interception system and method |
Yona Hollander, Ophir Rachman |
2007-05-01 |
| 6823460 |
Method and system for intercepting an application program interface |
Yona Hollander, Ophir Rachman |
2004-11-23 |
| 6412071 |
Method for secure function execution by calling address validation |
Yona Hollander, Ophir Rachman |
2002-06-25 |
