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