| 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 |
| 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 |
| 11418532 |
Automated threat modeling using machine-readable threat models |
Michael Tautschnig, Neha Rungta, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk |
2022-08-16 |
| 11394661 |
Compositional reasoning techniques for role reachability analyses in identity systems |
Neha Rungta, Andrew Jude Gacek, Daniel George Peebles, Carsten Varming |
2022-07-19 |
| 11245701 |
Authorization pre-processing for network-accessible service requests |
Eric Jason Brandwine |
2022-02-08 |
| 11232015 |
Automated software verification service |
Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Michael Tautschnig +3 more |
2022-01-25 |