Issued Patents 2023
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |