| 11200144 |
Refinement of static analysis of program code |
Kalpana Gondi, Michael Tautschnig |
2021-12-14 |
| 11108805 |
Automated packetless network reachability analysis |
Catherine Dodge, Nikhil Reddy Cheruku, Temesghen Kahsai Azene, William Jo Kocik, Sean McLaughlin +3 more |
2021-08-31 |
| 11095523 |
Virtual network verification service |
Catherine Dodge, Sean McLaughlin |
2021-08-17 |
| 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 |
| 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, Carsten Varming |
2021-02-16 |