Issued Patents 2020
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10757128 | Security policy analyzer service and satisfiability engine | John Cook, Catherine Dodge, Jeff Puchalski, Carsten Varming | 2020-08-25 |
| 10664379 | Automated software verification service | Juan Rodriguez Hortala, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig, Andrea Nedic +3 more | 2020-05-26 |
| 10652266 | Automated threat modeling using machine-readable threat models | Michael Tautschnig, John Cook, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk | 2020-05-12 |
| 10630695 | Security policy monitoring service | John Cook, Catherine Dodge, Jeff Puchalski, Carsten Varming | 2020-04-21 |