Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12425455 | Authorization policy analysis | Emina Torlak, Kyle Headley, Neha Rungta, Andrew Marshall Wells | 2025-09-23 |
| 12261888 | Authorization policy validation | John Holman Kastner, Emina Torlak, Richard Matthew McCutchen, Darin Keith McAdams, Neha Rungta +3 more | 2025-03-25 |
| 11321218 | Automated generation of source code models from machine code for code analysis | B. S. Lavender, Anwar MAMAT, Ian Sweet | 2022-05-03 |