Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12393698 | Code vulnerability detection and validation | Mahinthan Chandramohan | 2025-08-19 |
| 11947677 | Dynamic taint tracking in abstract syntax tree interpreters | Daniele Bonetta, Christian Humer, Jacob Kreindl | 2024-04-02 |
| 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 |
| 10915639 | Staged dynamic taint flow inference | Behnaz Hassanshahi, Hyunjun LEE, Francois Gauthier | 2021-02-09 |
| 10789362 | Taint analysis with access paths | Nicholas John Allen, Francois Gauthier | 2020-09-29 |
| 10657252 | Detecting malicious code embedded in documents | Francois Gauthier | 2020-05-19 |
| 10620946 | Dynamic modeling for opaque code during static analysis | Joonyoung Park | 2020-04-14 |