| 12126495 |
Virtual network verification service |
John Cook, Sean McLaughlin |
2024-10-22 |
| 11671442 |
Automated packetless network reachability analysis |
Nikhil Reddy Cheruku, John Cook, Temesghen Kahsai Azene, William Jo Kocik, Sean McLaughlin +3 more |
2023-06-06 |
| 11616800 |
Security policy analyzer service and satisfiability engine |
John Cook, Neha Rungta, Jeff Puchalski, Carsten Varming |
2023-03-28 |
| 11108805 |
Automated packetless network reachability analysis |
Nikhil Reddy Cheruku, John Cook, Temesghen Kahsai Azene, William Jo Kocik, Sean McLaughlin +3 more |
2021-08-31 |
| 11095523 |
Virtual network verification service |
John Cook, Sean McLaughlin |
2021-08-17 |
| 11017107 |
Pre-deployment security analyzer service for virtual computing resources |
Neha Rungta, Pauline Virginie Bolignano, Carsten Varming, John Cook, 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 |
| 10757128 |
Security policy analyzer service and satisfiability engine |
John Cook, Neha Rungta, Jeff Puchalski, Carsten Varming |
2020-08-25 |
| 10630695 |
Security policy monitoring service |
John Cook, Neha Rungta, Jeff Puchalski, Carsten Varming |
2020-04-21 |
| 10469324 |
Virtual network verification service |
John Cook, Sean McLaughlin |
2019-11-05 |