| 11750642 |
Automated threat modeling using machine-readable threat models |
Neha Rungta, John Cook, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk |
2023-09-05 |
| 11494285 |
Static code analysis tool and configuration selection via codebase analysis |
Norbert Manthey |
2022-11-08 |
| 11418532 |
Automated threat modeling using machine-readable threat models |
Neha Rungta, John Cook, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk |
2022-08-16 |
| 11232015 |
Automated software verification service |
Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Andrea Nedic +3 more |
2022-01-25 |
| 11200144 |
Refinement of static analysis of program code |
John Cook, Kalpana Gondi |
2021-12-14 |
| 10769250 |
Targeted security monitoring using semantic behavioral change analysis |
John Cook |
2020-09-08 |
| 10664379 |
Automated software verification service |
Juan Rodriguez Hortala, Neha Rungta, Mark R. Tuttle, Serdar Tasiran, Andrea Nedic +3 more |
2020-05-26 |
| 10652266 |
Automated threat modeling using machine-readable threat models |
Neha Rungta, John Cook, Pauline Virginie Bolignano, Todd Granger MacDermid, Oksana Tkachuk |
2020-05-12 |
| 9904527 |
Optimizing API implementer programs using fine-grained code analysis |
Konrad Jan Miller |
2018-02-27 |