Issued Patents All Time
Showing 1–13 of 13 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12164652 | Analyzing privilege escalation risks using a multi-layer reasoning framework | Meng Li, Vishal Gori, Zhixing Xu, Niloofar Razavi | 2024-12-10 |
| 12132735 | Specification language for generating graph reachability-based analyses for cloud-based system resources | Niloofar Razavi, Zhixing Xu, Saeed Nejati, Meng Li | 2024-10-29 |
| 11750642 | Automated threat modeling using machine-readable threat models | Michael Tautschnig, Neha Rungta, John Cook, Pauline Virginie Bolignano, Todd Granger MacDermid | 2023-09-05 |
| 11418532 | Automated threat modeling using machine-readable threat models | Michael Tautschnig, Neha Rungta, John Cook, Pauline Virginie Bolignano, Todd Granger MacDermid | 2022-08-16 |
| 11128653 | Automatically generating a machine-readable threat model using a template associated with an application or service | Claudia Cauli, Neha Rungta, Pauline Virginie Bolignano, Juan Rodriguez Hortala, Sean Maher | 2021-09-21 |
| 10652266 | Automated threat modeling using machine-readable threat models | Michael Tautschnig, Neha Rungta, John Cook, Pauline Virginie Bolignano, Todd Granger MacDermid | 2020-05-12 |
| 9069804 | System and a method for generating database model for analysis of applications | — | 2015-06-30 |
| 8504997 | Environment data refinement based on static analysis and symbolic execution | Indradeep Ghosh, Sreeranga P. Rajan | 2013-08-06 |
| 8468537 | Systems and methods for distributing validation computations | Sreeranga P. Rajan, Praveen K. Murthy, Indradeep Ghosh, Mukul R. Prasad | 2013-06-18 |
| 8453117 | Providing software validation as a service | Sreeranga P. Rajan, Mukul R. Prasad, Indradeep Ghosh | 2013-05-28 |
| 8402319 | Method and system to extract a navigation model for analysis of a web application | Sreeranga P. Rajan | 2013-03-19 |
| 8347320 | Generating a driver for analysis of an event-driven application | Sreeranga P. Rajan | 2013-01-01 |
| 7685471 | System and method for detecting software defects | Sreeranga P. Rajan, Mukul R. Prasad, Indradeep Ghosh | 2010-03-23 |