Issued Patents 2023
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11847044 | Alias analysis using labelled access paths | Yang Zhao | 2023-12-19 |
| 11734432 | Detecting second-order security vulnerabilities via modelling information flow through persistent storage | Raghavendra Kagalavadi Ramesh, Yi Lu | 2023-08-22 |
| 11698784 | Upgrading an application using boolean satisfiability solving | David Maine, Alexander Jordan, Mahinthan Chandramohan | 2023-07-11 |
| 11593249 | Scalable points-to analysis via multiple slicing | Raghavendra Kagalavadi Ramesh | 2023-02-28 |
| 11580228 | Coverage of web application analysis | Anastasios Antoniadis, Raghavendra Kagalavadi Ramesh, Nicholas John Allen | 2023-02-14 |