Issued Patents All Time
Showing 25 most recent of 27 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12126495 | Virtual network verification service | Catherine Dodge, Sean McLaughlin | 2024-10-22 |
| 12034727 | Analysis of role reachability with transitive tags | Neha Rungta, Carsten Varming, Daniel George Peebles, Daniel Kroening, Alejandro Naser Pastoriza | 2024-07-09 |
| 11861409 | Distributed decomposition of string-automated reasoning using predicates | Andres Philipp Noetzli, Neha Rungta, Jingmei Hu | 2024-01-02 |
| 11863563 | Policy scope management | Neha Rungta, Tyler Stuart Bray, Kasper Søe Luckow, Alexander Watson, Jeff Puchalski +1 more | 2024-01-02 |
| 11797317 | Transitioning legacy software to be provably correct | Sean McLaughlin, Tongtong Xiang, Matthias Schlaipfer, Neha Rungta, Serdar Tasiran +1 more | 2023-10-24 |
| 11757886 | Analysis of role reachability using policy complements | Neha Rungta, Carsten Varming, Daniel George Peebles, Daniel Kroening, Alejandro Naser Pastoriza | 2023-09-12 |
| 11750642 | Automated threat modeling using machine-readable threat models | Michael Tautschnig, Neha Rungta, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk | 2023-09-05 |
| 11671442 | Automated packetless network reachability analysis | Catherine Dodge, Nikhil Reddy Cheruku, Temesghen Kahsai Azene, William Jo Kocik, Sean McLaughlin +3 more | 2023-06-06 |
| 11616800 | Security policy analyzer service and satisfiability engine | Neha Rungta, Catherine Dodge, Jeff Puchalski, Carsten Varming | 2023-03-28 |
| 11483317 | Techniques for analyzing security in computing environments with privilege escalation | Pauline Virginie Bolignano, Andrew Jude Gacek, Kasper Søe Luckow, Neha Rungta, Cole Nathan Schlesinger +2 more | 2022-10-25 |
| 11483350 | Intent-based governance service | Pauline Virginie Bolignano, Tyler Stuart Bray, Andrew Jude Gacek, Kasper Søe Luckow, Andrea Nedic +3 more | 2022-10-25 |
| 11418532 | Automated threat modeling using machine-readable threat models | Michael Tautschnig, Neha Rungta, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk | 2022-08-16 |
| 11394661 | Compositional reasoning techniques for role reachability analyses in identity systems | Neha Rungta, Andrew Jude Gacek, Daniel George Peebles, Carsten Varming | 2022-07-19 |
| 11245701 | Authorization pre-processing for network-accessible service requests | Eric Jason Brandwine | 2022-02-08 |
| 11232015 | Automated software verification service | Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more | 2022-01-25 |
| 11200144 | Refinement of static analysis of program code | Kalpana Gondi, Michael Tautschnig | 2021-12-14 |
| 11108805 | Automated packetless network reachability analysis | Catherine Dodge, Nikhil Reddy Cheruku, Temesghen Kahsai Azene, William Jo Kocik, Sean McLaughlin +3 more | 2021-08-31 |
| 11095523 | Virtual network verification service | Catherine Dodge, Sean McLaughlin | 2021-08-17 |
| 11017107 | Pre-deployment security analyzer service for virtual computing resources | Neha Rungta, Pauline Virginie Bolignano, Catherine Dodge, Carsten Varming, Rajesh Viswanathan +2 more | 2021-05-25 |
| 10977111 | Constraint solver execution service and infrastructure therefor | Neha Rungta, Temesghen Kahsai Azene, Pauline Virginie Bolignano, Kasper Soe Luckow, Sean McLaughlin +5 more | 2021-04-13 |
| 10922423 | Request context generator for security policy validation service | Neha Rungta, Kasper Søe Luckow, Andrew Jude Gacek, Carsten Varming | 2021-02-16 |
| 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 |