Issued Patents All Time
Showing 1–13 of 13 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10148442 | End-to-end security for hardware running verified software | Chris Hawblitzel, Jacob R. Lorch, Jonathan R. Howell, Brian D. Zill | 2018-12-04 |
| 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 |
| 9432401 | Providing consistent security information | John R. Douceur, Robert Wilson Reeder | 2016-08-30 |
| 9363087 | End-to-end security for hardware running verified software | Chris Hawblitzel, Jacob R. Lorch, Jonathan R. Howell, Brian D. Zill | 2016-06-07 |
| 9294281 | Utilization of a protected module to prevent offline dictionary attacks | Stuart Schechter, David Molnar, Jacob R. Lorch, Barry Bond | 2016-03-22 |
| 9230100 | Securing anti-virus software with virtualization | Jiahe Helen Wang, Jacob R. Lorch | 2016-01-05 |
| 9152868 | Personal identification combining proximity sensing with biometrics | Christopher Stephen Frederick Smowton, Ronnie Chaiken, Weidong Cui, Oliver H. Foehr, Jacob R. Lorch +3 more | 2015-10-06 |
| 9106650 | User-driven access control | Franziska Roesner, Tadayoshi Kohno, Alexander Moshchuk, Helen Wang | 2015-08-11 |
| 8627414 | Methods and apparatuses for user-verifiable execution of security-sensitive code | Jonathan M. McCune, Adrian Perrig, Anupam Datta, Virgil D. Gligor, Yanlin Li +2 more | 2014-01-07 |
| 8352738 | Method and apparatus for secure online transactions | Cynthia Kuo, Adrian Perrig | 2013-01-08 |
| 8307443 | Securing anti-virus software with virtualization | Jiahe Helen Wang, Jacob R. Lorch | 2012-11-06 |
| 8031875 | Key distribution in unidirectional channels with applications to RFID | Ari Juels | 2011-10-04 |