Issued Patents 2020
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10757128 | Security policy analyzer service and satisfiability engine | John Cook, Neha Rungta, Catherine Dodge, Jeff Puchalski | 2020-08-25 |
| 10664379 | Automated software verification service | Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more | 2020-05-26 |
| 10630695 | Security policy monitoring service | John Cook, Neha Rungta, Catherine Dodge, Jeff Puchalski | 2020-04-21 |