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