Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |