Issued Patents 2021
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11165783 | Quantifying permissiveness of access control policies using model counting techniques and automated policy downscaling | William Joel Eiers, Liana Sorina Hadarean, Neha Rungta | 2021-11-02 |
| 10977111 | Constraint solver execution service and infrastructure therefor | Neha Rungta, Temesghen Kahsai Azene, Pauline Virginie Bolignano, Sean McLaughlin, Catherine Dodge +5 more | 2021-04-13 |