Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11720373 | Data plane program verification | Jeongkeun Lee, John Nathan Foster, Han Wang, Robert Soule, William Douglas Hallahan +2 more | 2023-08-08 |
| 11483317 | Techniques for analyzing security in computing environments with privilege escalation | Pauline Virginie Bolignano, John Cook, Andrew Jude Gacek, Kasper Søe Luckow, Neha Rungta +2 more | 2022-10-25 |
| 11483350 | Intent-based governance service | Pauline Virginie Bolignano, Tyler Stuart Bray, John Cook, Andrew Jude Gacek, Kasper Søe Luckow +3 more | 2022-10-25 |
| 11188355 | Data plane program verification | Jeongkeun Lee, John Nathan Foster, Han Wang, Robert Soule, William Douglas Hallahan +2 more | 2021-11-30 |