Issued Patents 2021
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11204746 | Encoding dependencies in call graphs | Sora Bae, Nathan Robert Albert Keynes | 2021-12-21 |
| 11030304 | Buffer overflow detection based on a synthesis of assertions from templates and k-induction | Francois Gauthier, Nathan Robert Albert Keynes, Padmanabhan Krishnan, Trung Quang Ta | 2021-06-08 |