Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11232015 | Automated software verification service | Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig, Andrea Nedic +3 more | 2022-01-25 |
| 11128653 | Automatically generating a machine-readable threat model using a template associated with an application or service | Oksana Tkachuk, Claudia Cauli, Neha Rungta, Pauline Virginie Bolignano, Sean Maher | 2021-09-21 |
| 10977111 | Constraint solver execution service and infrastructure therefor | Neha Rungta, Temesghen Kahsai Azene, Pauline Virginie Bolignano, Kasper Soe Luckow, Sean McLaughlin +5 more | 2021-04-13 |
| 10664379 | Automated software verification service | Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig, Andrea Nedic +3 more | 2020-05-26 |