| 11966753 |
Selective boot sequence controller that cryptographically validating code package for resilient storage memory |
Stefan Thom, Paul England, Robert Karl Spiger, Brian Clifford TELFER, Sangho Lee |
2024-04-23 |
$338,628,000 |
| 11520596 |
Selective boot sequence controller for resilient storage memory |
Stefan Thom, Paul England, Robert Karl Spiger, Brian Clifford TELFER, Sangho Lee |
2022-12-06 |
$290,577,000 |
| 11316694 |
Cryptographic hardware watchdog |
Stefan Thom, Brian Clifford TELFER, Paul England, Dennis Mattoon |
2022-04-26 |
$446,931,000 |
| 10791128 |
Intrusion detection |
Svetlana Gaivoronski, Paul England, Mohamed Rouatbi, Mariusz H. Jakubowski, Julian Federico Gonzalez |
2020-09-29 |
$190,718,000 |
| 10735457 |
Intrusion investigation |
Mohamed Rouatbi, Julian Federico Gonzalez, Mariusz H. Jakubowski, Svetlana Gaivoronski |
2020-08-04 |
$112,873,000 |
| 10601596 |
Techniques to secure computation data in a computing environment |
Manuel Costa, Orion Hodson, Sriram K. Rajamani, Mark Eugene Russinovich, Kapil Vaswani |
2020-03-24 |
$62,609,000 |
| 10248578 |
Methods and systems for protecting data in USB systems |
Paul England, Glen Slick, John C. Dunn, Kenneth D. Ray, Bryan Willman |
2019-04-02 |
$55,404,000 |
| 10230529 |
Techniques to secure computation data in a computing environment |
Manuel Costa, Orion Hodson, Sriram K. Rajamani, Mark Eugene Russinovich, Kapil Vaswani |
2019-03-12 |
|
| 9916439 |
Securing a computing environment against malicious entities |
Mariusz H. Jakubowski |
2018-03-13 |
$58,125,000 |
| 9792427 |
Trusted execution within a distributed computing system |
Manuel Costa, Felix Schuster, Cedric Fournet, Christos Gkantsidis, Antony Rowstron |
2017-10-17 |
$48,646,000 |
| 9774620 |
Automatic code and data separation of web application |
Weidong Ciu, Adam Doupe, Mariusz H. Jakubowski |
2017-09-26 |
$38,019,000 |
| 9430402 |
System and method for providing stealth memory |
Taesoo Kim |
2016-08-30 |
$26,338,000 |
| 9425965 |
Cryptographic certification of secure hosted execution environments |
Andrew A. Baumann, Galen C. Hunt |
2016-08-23 |
$31,125,000 |
| 9413538 |
Cryptographic certification of secure hosted execution environments |
Andrew A. Baumann, Galen C. Hunt |
2016-08-09 |
$42,929,000 |
| 9389933 |
Facilitating system service request interactions for hardware-protected applications |
Andrew A. Baumann, Galen C. Hunt |
2016-07-12 |
$36,196,000 |
| 9329845 |
Determining target types for generic pointers in source code |
Weidong Cui |
2016-05-03 |
$30,562,000 |
| 9208319 |
Code base partitioning system |
Athanasios Avgerinos, Mariusz H. Jakubowski |
2015-12-08 |
$46,233,000 |
| 9183406 |
Saving and retrieving data based on public key encryption |
Paul England |
2015-11-10 |
$38,752,000 |
| 8996814 |
System and method for providing stealth memory |
Taesoo Kim |
2015-03-31 |
$24,045,000 |
| 8935677 |
Automatic reverse engineering of input formats |
Weidong Cui, Karl Chen, Jiahe Helen Wang, Luis Irun-Briz |
2015-01-13 |
$32,048,000 |
| 8744969 |
Releasing decrypted digital content to an authenticated path |
Paul England, Frank Yerrace |
2014-06-03 |
$32,410,000 |
| 8683230 |
Saving and retrieving data based on public key encryption |
Paul England |
2014-03-25 |
$29,958,000 |
| 8621243 |
Saving and retrieving data based on public key encryption |
Paul England |
2013-12-31 |
$17,332,000 |
| 8613096 |
Automatic data patch generation for unknown vulnerabilities |
Weidong Cui, Jiahe Helen Wang, Michael E. Locasto |
2013-12-17 |
$25,958,000 |
| 8601286 |
Saving and retrieving data based on public key encryption |
Paul England |
2013-12-03 |
$38,608,000 |
