| 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 |
