Issued Patents 2018
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10148442 | End-to-end security for hardware running verified software | Chris Hawblitzel, Jacob R. Lorch, Brian D. Zill, Bryan Jeffrey Parno | 2018-12-04 |
| 10019570 | Protection and communication abstractions for web browsers | Jiahe Helen Wang, Xiaofeng Fan, Collin Edward Jackson, Zhenbin Xu | 2018-07-10 |