Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9544280 | Utilization of a protected module to prevent offline dictionary attacks | Stuart Schechter, David Molnar, Jacob R. Lorch, Barry Bond | 2017-01-10 |
| 9536093 | Automated verification of a software system | Chris Hawblitzel, Jacob R. Lorch, Jonathan R. Howell, Brian D. Zill | 2017-01-03 |