Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 12299134 | Knowledge-based taint policy inference | Peixuan Li, Qiang Zhou, Lee Pike, Michael McDougall, Thodoris Sotiropoulos | 2025-05-13 | |
| 11586437 | Data flow tracking in program verification | Omer Tripp, Rajdeep Mukherjee, Michael Wilson | 2023-02-21 | $230,745,000 |
| 11379551 | Latency minimization in mobile applications | Yixue Zhao, Nenad Medvidovic, Marcelo Schmitt Laser | 2022-07-05 |