Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10148442 | End-to-end security for hardware running verified software | Jacob R. Lorch, Jonathan R. Howell, Brian D. Zill, Bryan Jeffrey Parno | 2018-12-04 |
| 9536093 | Automated verification of a software system | Bryan Jeffrey Parno, Jacob R. Lorch, Jonathan R. Howell, Brian D. Zill | 2017-01-03 |
| 9363087 | End-to-end security for hardware running verified software | Bryan Jeffrey Parno, Jacob R. Lorch, Jonathan R. Howell, Brian D. Zill | 2016-06-07 |
| 8843908 | Compiler validation via program verification | Shuvendu K. Lahiri | 2014-09-23 |
| 8776032 | Automatic region-based verification of garbage collectors | — | 2014-07-08 |
| 8341602 | Automated verification of a type-safe operating system | Jean Yang | 2012-12-25 |
| 7975121 | Simple stack types | Juan Chen, Frances J. Perry | 2011-07-05 |
| 7882317 | Process isolation using protection domains | Galen C. Hunt, James R. Larus, Manuel A. Fahndrich, Mark Aiken | 2011-02-01 |