| 12126495 |
Virtual network verification service |
Catherine Dodge, Sean McLaughlin |
2024-10-22 |
$353,759,000 |
| 12034727 |
Analysis of role reachability with transitive tags |
Neha Rungta, Carsten Varming, Daniel George Peebles, Daniel Kroening, Alejandro Naser Pastoriza |
2024-07-09 |
$295,229,000 |
| 11861409 |
Distributed decomposition of string-automated reasoning using predicates |
Andres Philipp Noetzli, Neha Rungta, Jingmei Hu |
2024-01-02 |
$138,344,000 |
| 11863563 |
Policy scope management |
Neha Rungta, Tyler Stuart Bray, Kasper Søe Luckow, Alexander Watson, Jeff Puchalski +1 more |
2024-01-02 |
$138,344,000 |
| 11797317 |
Transitioning legacy software to be provably correct |
Sean McLaughlin, Tongtong Xiang, Matthias Schlaipfer, Neha Rungta, Serdar Tasiran +1 more |
2023-10-24 |
$217,954,000 |
| 11757886 |
Analysis of role reachability using policy complements |
Neha Rungta, Carsten Varming, Daniel George Peebles, Daniel Kroening, Alejandro Naser Pastoriza |
2023-09-12 |
$305,021,000 |
| 11750642 |
Automated threat modeling using machine-readable threat models |
Michael Tautschnig, Neha Rungta, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk |
2023-09-05 |
$296,872,000 |
| 11671442 |
Automated packetless network reachability analysis |
Catherine Dodge, Nikhil Reddy Cheruku, Temesghen Kahsai Azene, William Jo Kocik, Sean McLaughlin +3 more |
2023-06-06 |
$278,271,000 |
| 11616800 |
Security policy analyzer service and satisfiability engine |
Neha Rungta, Catherine Dodge, Jeff Puchalski, Carsten Varming |
2023-03-28 |
$382,248,000 |
| 11483317 |
Techniques for analyzing security in computing environments with privilege escalation |
Pauline Virginie Bolignano, Andrew Jude Gacek, Kasper Søe Luckow, Neha Rungta, Cole Nathan Schlesinger +2 more |
2022-10-25 |
$203,227,000 |
| 11483350 |
Intent-based governance service |
Pauline Virginie Bolignano, Tyler Stuart Bray, Andrew Jude Gacek, Kasper Søe Luckow, Andrea Nedic +3 more |
2022-10-25 |
$203,227,000 |
| 11418532 |
Automated threat modeling using machine-readable threat models |
Michael Tautschnig, Neha Rungta, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk |
2022-08-16 |
$353,906,000 |
| 11394661 |
Compositional reasoning techniques for role reachability analyses in identity systems |
Neha Rungta, Andrew Jude Gacek, Daniel George Peebles, Carsten Varming |
2022-07-19 |
$173,831,000 |
| 11245701 |
Authorization pre-processing for network-accessible service requests |
Eric Jason Brandwine |
2022-02-08 |
$280,108,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 |
| 11200144 |
Refinement of static analysis of program code |
Kalpana Gondi, Michael Tautschnig |
2021-12-14 |
$380,155,000 |
| 11108805 |
Automated packetless network reachability analysis |
Catherine Dodge, Nikhil Reddy Cheruku, Temesghen Kahsai Azene, William Jo Kocik, Sean McLaughlin +3 more |
2021-08-31 |
$221,607,000 |
| 11095523 |
Virtual network verification service |
Catherine Dodge, Sean McLaughlin |
2021-08-17 |
$197,703,000 |
| 11017107 |
Pre-deployment security analyzer service for virtual computing resources |
Neha Rungta, Pauline Virginie Bolignano, Catherine Dodge, Carsten Varming, 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, Carsten Varming |
2021-02-16 |
$236,940,000 |
| 10769250 |
Targeted security monitoring using semantic behavioral change analysis |
Michael Tautschnig |
2020-09-08 |
$193,427,000 |
| 10757128 |
Security policy analyzer service and satisfiability engine |
Neha Rungta, Catherine Dodge, Jeff Puchalski, Carsten Varming |
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 |
| 10652266 |
Automated threat modeling using machine-readable threat models |
Michael Tautschnig, Neha Rungta, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk |
2020-05-12 |
$151,825,000 |
