Issued Patents All Time
Showing 26–36 of 36 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11218511 | Resource state validation of access management policies | Ujjwal Rajkumar Pugalia, Sean McLaughlin, Andrew Jude Gacek, Matthias Schlaipfer, John Michael Renner +5 more | 2022-01-04 |
| 11165783 | Quantifying permissiveness of access control policies using model counting techniques and automated policy downscaling | William Joel Eiers, Liana Sorina Hadarean, Kasper Soe Luckow | 2021-11-02 |
| 11128653 | Automatically generating a machine-readable threat model using a template associated with an application or service | Oksana Tkachuk, Claudia Cauli, Pauline Virginie Bolignano, Juan Rodriguez Hortala, Sean Maher | 2021-09-21 |
| 11093641 | Anonymizing sensitive data in logic problems for input to a constraint solver | Michael William Whalen, Carsten Varming, Andrew Judge Gacek, Murphy Berzish | 2021-08-17 |
| 11017107 | Pre-deployment security analyzer service for virtual computing resources | Pauline Virginie Bolignano, Catherine Dodge, Carsten Varming, John Cook, Rajesh Viswanathan +2 more | 2021-05-25 |
| 10977111 | Constraint solver execution service and infrastructure therefor | Temesghen Kahsai Azene, Pauline Virginie Bolignano, Kasper Soe Luckow, Sean McLaughlin, Catherine Dodge +5 more | 2021-04-13 |
| 10922423 | Request context generator for security policy validation service | Kasper Søe Luckow, Andrew Jude Gacek, Carsten Varming, John Cook | 2021-02-16 |
| 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 |