Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12086271 | Vulnerability tracking using smatch values of scopes | James Johnson, Julian Thome | 2024-09-10 |
| 11983091 | Adaptively generated program model | Julian Thome, Isaac Dawson, James Johnson, Zach Rice, Daniel Searles +4 more | 2024-05-14 |
| 11868482 | Vulnerability tracing using scope and offset | James Johnson, Julian Thome | 2024-01-09 |