| 11165783 |
Quantifying permissiveness of access control policies using model counting techniques and automated policy downscaling |
William Joel Eiers, Liana Sorina Hadarean, Kasper Soe Luckow |
2021-11-02 |
| 11128653 |
Automatically generating a machine-readable threat model using a template associated with an application or service |
Oksana Tkachuk, Claudia Cauli, Pauline Virginie Bolignano, Juan Rodriguez Hortala, Sean Maher |
2021-09-21 |
| 11093641 |
Anonymizing sensitive data in logic problems for input to a constraint solver |
Michael William Whalen, Carsten Varming, Andrew Judge Gacek, Murphy Berzish |
2021-08-17 |
| 11017107 |
Pre-deployment security analyzer service for virtual computing resources |
Pauline Virginie Bolignano, Catherine Dodge, Carsten Varming, John Cook, Rajesh Viswanathan +2 more |
2021-05-25 |
| 10977111 |
Constraint solver execution service and infrastructure therefor |
Temesghen Kahsai Azene, Pauline Virginie Bolignano, Kasper Soe Luckow, Sean McLaughlin, Catherine Dodge +5 more |
2021-04-13 |
| 10922423 |
Request context generator for security policy validation service |
Kasper Søe Luckow, Andrew Jude Gacek, Carsten Varming, John Cook |
2021-02-16 |