Issued Patents 2023
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11709930 | Inferring watchpoints for understandable taint reports | Sora Bae, Francois Gauthier | 2023-07-25 |
| 11698784 | Upgrading an application using boolean satisfiability solving | David Maine, Padmanabhan Krishnan, Mahinthan Chandramohan | 2023-07-11 |