Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10592405 | Visualization of vulnerabilities detected by static application testing | Kristofer A. Duer, John Peyton, Lin Tan, Jinqiu Yang | 2020-03-17 |
| 10586050 | Consolidating static analysis tool warnings using dynamic programming | Kristofer A. Duer, Jonathan J. Butler, John Peyton, Omer Tripp | 2020-03-10 |
| 10324825 | Visualization of security warning solution points | Kristofer A. Duer, John Peyton, Johnathan D. Smith, Jason N. Todd, Lin Tan +1 more | 2019-06-18 |
| 10091232 | Solution-centric reporting of security warnings | Kristofer A. Duer, John Peyton, Omer Tripp | 2018-10-02 |
| 10089215 | Visualization of security warning solution points | Kristofer A. Duer, John Peyton, Jason N. Todd, Lin Tan, Jinqui Yang | 2018-10-02 |
| 10055590 | Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysis | Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp | 2018-08-21 |
| 9749345 | Reporting security vulnerability warnings | Kristofer A. Duer, Omer Tripp, John Peyton | 2017-08-29 |
| 9729569 | Solution-centric reporting of security warnings | Kristofer A. Duer, John Peyton, Omer Tripp | 2017-08-08 |
| 9544327 | Prioritizing security findings in a SAST tool based on historical security analysis | Babita Sharma, Kristofer A. Duer, Richard Myer Goldberg, Jeffrey C. Turnham, Shu Wang +1 more | 2017-01-10 |
| 9384354 | Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysis | Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp | 2016-07-05 |
| 8881300 | Automated detection of flaws and incompatibility problems in information flow downgraders | Marco Pistoia, Takaaki Tateishi, Omer Tripp | 2014-11-04 |
| 8769696 | Automated detection of flaws and incompatibility problems in information flow downgraders | Marco Pistoia, Takaaki Tateishi, Omer Tripp | 2014-07-01 |
| 8701186 | Formal analysis of the quality and conformance of information flow downgraders | Ryan Berg, Marco Pistoia, Takaaki Tateishi, Omer Tripp | 2014-04-15 |
| 8667584 | Formal analysis of the quality and conformance of information flow downgraders | Ryan Berg, Marco Pistoia, Takaaki Tateishi, Omer Tripp | 2014-03-04 |