Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12367328 | Systems and methods for formal verification of computer platforms | Ajit Vasudevan, Michael J. McCall | 2025-07-22 |
| 12248558 | System and method for providing provable end-to-end guarantees on commodity heterogeneous interconnected computing platforms | — | 2025-03-11 |
| 12206729 | Platform-agnostic compute instance launches | Jonathan Luke Herman, Art Plata, Joshua Potter, John Matthew Mullins, Nathan Cook +8 more | 2025-01-21 |
| 12093367 | System and method for providing provable end-to-end guarantees on commodity heterogeneous interconnected computing platforms | — | 2024-09-17 |
| 9367701 | Systems and methods for maintaining integrity and secrecy in untrusted computing platforms | Jorge Guajardo Merchan, Emmanuel Kwame Owusu, Jonathan M. McCune, James Newsome, Adrian Perrig | 2016-06-14 |
| 8627414 | Methods and apparatuses for user-verifiable execution of security-sensitive code | Jonathan M. McCune, Adrian Perrig, Anupam Datta, Virgil D. Gligor, Yanlin Li +2 more | 2014-01-07 |