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