Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12034727 | Analysis of role reachability with transitive tags | John Cook, Neha Rungta, Daniel George Peebles, Daniel Kroening, Alejandro Naser Pastoriza | 2024-07-09 |
| 11757886 | Analysis of role reachability using policy complements | John Cook, Neha Rungta, Daniel George Peebles, Daniel Kroening, Alejandro Naser Pastoriza | 2023-09-12 |
| 11616800 | Security policy analyzer service and satisfiability engine | John Cook, Neha Rungta, Catherine Dodge, Jeff Puchalski | 2023-03-28 |
| 11509730 | Analyzing web service frontends to extract security-relevant behavior information | Daniel George Peebles, Neha Rungta, Zhen Zhang | 2022-11-22 |
| 11483317 | Techniques for analyzing security in computing environments with privilege escalation | Pauline Virginie Bolignano, John Cook, Andrew Jude Gacek, Kasper Søe Luckow, Neha Rungta +2 more | 2022-10-25 |
| 11483350 | Intent-based governance service | Pauline Virginie Bolignano, Tyler Stuart Bray, John Cook, Andrew Jude Gacek, Kasper Søe Luckow +3 more | 2022-10-25 |
| 11394661 | Compositional reasoning techniques for role reachability analyses in identity systems | John Cook, Neha Rungta, Andrew Jude Gacek, Daniel George Peebles | 2022-07-19 |
| 11232015 | Automated software verification service | Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more | 2022-01-25 |
| 11093641 | Anonymizing sensitive data in logic problems for input to a constraint solver | Michael William Whalen, Neha Rungta, Andrew Judge Gacek, Murphy Berzish | 2021-08-17 |
| 11017107 | Pre-deployment security analyzer service for virtual computing resources | Neha Rungta, Pauline Virginie Bolignano, Catherine Dodge, John Cook, 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, John Cook | 2021-02-16 |
| 10757128 | Security policy analyzer service and satisfiability engine | John Cook, Neha Rungta, Catherine Dodge, Jeff Puchalski | 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 |
| 10630695 | Security policy monitoring service | John Cook, Neha Rungta, Catherine Dodge, Jeff Puchalski | 2020-04-21 |