Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9753754 | Enforcing deterministic execution of threads of guest operating systems running in a virtual machine hosted on a multiprocessor machine | Jonathan R. Howell, Eric P. Traut, John R. Douceur | 2017-09-05 |
| 9588803 | Executing native-code applications in a browser | Jonathan R. Howell, Jeremy E. Elson, John R. Douceur | 2017-03-07 |
| 9582062 | Decentralized sleep management | Siddhartha Sen, Jitendra D. Padhye, Richard L. Hughes, Carlos Garcia Jurado Suarez | 2017-02-28 |
| 9544280 | Utilization of a protected module to prevent offline dictionary attacks | Stuart Schechter, David Molnar, Barry Bond, Bryan Jeffrey Parno | 2017-01-10 |
| 9536093 | Automated verification of a software system | Chris Hawblitzel, Bryan Jeffrey Parno, Jonathan R. Howell, Brian D. Zill | 2017-01-03 |