Issued Patents 2023
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |