| 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 |