Issued Patents 2020
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 10769250 | Targeted security monitoring using semantic behavioral change analysis | Michael Tautschnig | 2020-09-08 | $193,427,000 |
| 10757128 | Security policy analyzer service and satisfiability engine | Neha Rungta, Catherine Dodge, Jeff Puchalski, Carsten Varming | 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 |
| 10652266 | Automated threat modeling using machine-readable threat models | Michael Tautschnig, Neha Rungta, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk | 2020-05-12 | $151,825,000 |
| 10630695 | Security policy monitoring service | Neha Rungta, Catherine Dodge, Jeff Puchalski, Carsten Varming | 2020-04-21 | $173,502,000 |