| 10726131 |
Systems and methods for mitigation of permanent denial of service attacks |
Sahil Rihan, Oded Horovitz |
2020-07-28 |
| 10049048 |
Method and system for using processor enclaves and cache partitioning to assist a software cryptoprocessor |
Oded Horovitz, Sahil Rihan, Carl A. Waldspurger |
2018-08-14 |
| 10037282 |
System and method for partitioning of memory units into non-conflicting sets |
Carl A. Waldspurger, Oded Horovitz, Sahil Rihan |
2018-07-31 |
| 9983894 |
Method and system for providing secure system execution on hardware supporting secure application execution |
Oded Horovitz, Sahil Rihan, Carl A. Waldspurger |
2018-05-29 |
| 9747450 |
Attestation using a combined measurement and its constituent measurements |
Oded Horovitz, Sahil Rihan, Daniel T. Arai |
2017-08-29 |
| 9734092 |
Secure support for I/O in software cryptoprocessor |
Oded Horovitz, Sahil Rihan, Carl A. Waldspurger |
2017-08-15 |
| 9639482 |
Software cryptoprocessor |
Oded Horovitz, Carl A. Waldspurger, Sahil Rihan |
2017-05-02 |
| 9477603 |
System and method for partitioning of memory units into non-conflicting sets |
Carl A. Waldspurger, Oded Horovitz, Sahil Rihan |
2016-10-25 |
| 9164924 |
Software cryptoprocessor |
Oded Horovitz, Carl A. Waldspurger, Sahil Rihan |
2015-10-20 |
| 8861724 |
Image-based key exchange |
Travis McCoy, Andrew D. Hintz, Iain P. Wade |
2014-10-14 |
| 8855300 |
Image-based key exchange |
Travis McCoy, Andrew D. Hintz, Iain P. Wade |
2014-10-07 |
| 8384546 |
Enhanced security protocol for radio frequency systems |
Joseph T. Foley, Sanjay Sarma |
2013-02-26 |
