Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 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 | $203,227,000 |
| 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 | $203,227,000 |
| 11188355 | Data plane program verification | Jeongkeun Lee, John Nathan Foster, Han Wang, Robert Soule, William Douglas Hallahan +2 more | 2021-11-30 |