| 12445474 |
Attack path risk mitigation by a data platform |
Theodore M. Reed, Nolan K. Karpinski, Xiaofei Guo, Yike Chen, Christopher J. Hall +4 more |
2025-10-14 |
|
| 12034727 |
Analysis of role reachability with transitive tags |
John Cook, Neha Rungta, Daniel George Peebles, Daniel Kroening, Alejandro Naser Pastoriza |
2024-07-09 |
$295,229,000 |
| 11757886 |
Analysis of role reachability using policy complements |
John Cook, Neha Rungta, Daniel George Peebles, Daniel Kroening, Alejandro Naser Pastoriza |
2023-09-12 |
$305,021,000 |
| 11616800 |
Security policy analyzer service and satisfiability engine |
John Cook, Neha Rungta, Catherine Dodge, Jeff Puchalski |
2023-03-28 |
$382,248,000 |
| 11509730 |
Analyzing web service frontends to extract security-relevant behavior information |
Daniel George Peebles, Neha Rungta, Zhen Zhang |
2022-11-22 |
$199,036,000 |
| 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 |
$203,227,000 |
| 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 |
$203,227,000 |
| 11394661 |
Compositional reasoning techniques for role reachability analyses in identity systems |
John Cook, Neha Rungta, Andrew Jude Gacek, Daniel George Peebles |
2022-07-19 |
$173,831,000 |
| 11232015 |
Automated software verification service |
Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more |
2022-01-25 |
$166,517,000 |
| 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 |
$197,703,000 |
| 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 |
$239,243,000 |
| 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 |
$229,938,000 |
| 10922423 |
Request context generator for security policy validation service |
Neha Rungta, Kasper Søe Luckow, Andrew Jude Gacek, John Cook |
2021-02-16 |
$236,940,000 |
| 10757128 |
Security policy analyzer service and satisfiability engine |
John Cook, Neha Rungta, Catherine Dodge, Jeff Puchalski |
2020-08-25 |
$258,335,000 |
| 10664379 |
Automated software verification service |
Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more |
2020-05-26 |
$142,951,000 |
| 10630695 |
Security policy monitoring service |
John Cook, Neha Rungta, Catherine Dodge, Jeff Puchalski |
2020-04-21 |
$173,502,000 |
