Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9785777 | Static analysis based on abstract program representations | Babita Sharma, Andrew Mak, Richard Myer Goldberg, Jeffrey C. Turnham, Matthew Francis Murphy +1 more | 2017-10-10 |
| 9749345 | Reporting security vulnerability warnings | Kristofer A. Duer, Omer Tripp, Stephen D. Teilhet | 2017-08-29 |
| 9729569 | Solution-centric reporting of security warnings | Stephen D. Teilhet, Kristofer A. Duer, Omer Tripp | 2017-08-08 |