Issued Patents All Time
Showing 25 most recent of 342 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12405877 | String analysis in a code scanning engine | — | 2025-09-02 |
| 12182269 | Automatic generation of patches for security violations | Domagoj Babic, Franjo Ivancic, Sam Kerner, Markus Kusano, Timothy King +3 more | 2024-12-31 |
| 12118350 | Hierarchical clustering for coding practice discovery | Rajdeep Mukherjee, Hoan Anh Nguyen, Pranav Garg, Sengamedu Hanumantha Rao Srinivasan | 2024-10-15 |
| 12050968 | Detecting, and recommending fixes for, insufficient validation of user inputs in computer software | Qiang Zhou | 2024-07-30 |
| 12013775 | Building coverage metrics and testing strategies for mobile testing via view enumeration | Joseph W. Ligman, Marco Pistoia, Gegi Thomas | 2024-06-18 |
| 12007877 | Visual query language for code review rules | Pranav Garg, Sengamedu Hanumantha Rao Srinivasan, Abhin Sharma | 2024-06-11 |
| 11979309 | System and method for discovering ad-hoc communities over large-scale implicit networks by wave relaxation | Haim Avron, Lior Horesh, Raya Horesh | 2024-05-07 |
| 11914993 | Example-based synthesis of rules for detecting violations of software coding practices | Pranav Garg, Sengamedu Hanumantha Rao Srinivasan, Benjamin Robert Liblit, Rajdeep Mukherjee, Neela Sawant | 2024-02-27 |
| 11886596 | Precision-tuned runtime monitoring | Paul Ionescu, Iosif V. Onut | 2024-01-30 |
| 11789724 | Machine learning to facilitate incremental static program analysis | Pietro Ferrara, Marco Pistoia, Pascal Roos | 2023-10-17 |
| 11681696 | Finding services in a service registry system of a service-oriented architecture | Evgeny Beskrovny, Emmanuel Wurth | 2023-06-20 |
| 11630919 | Management of sensitive data using static code analysis | Srinivasan Sengamedu Hanumantha Rao, Qiang Zhou | 2023-04-18 |
| 11586437 | Data flow tracking in program verification | Rajdeep Mukherjee, Michael Wilson, Yingjun Lyu | 2023-02-21 |
| 11418535 | Root cause analysis in dynamic software testing via probabilistic modeling | Supriyo Chakraborty | 2022-08-16 |
| 11392844 | Customizable service for recommendations on source code quality | Srinivasan Sengamedu Hanumantha Rao, Hoan Anh Nguyen, Alok Dhamanaskar, Hakimuddin Hanif, Shishir Sethiya +6 more | 2022-07-19 |
| 11301313 | Collaborative application testing | Ory Segal, Roi Saltzman | 2022-04-12 |
| 11288344 | Protecting an application via an intra-application firewall | Roee Hay, David Natan Kaplan, Sagi Kedmi | 2022-03-29 |
| 11244057 | Value based information tracking for security enforcement | Marco Pistoia, Pietro Ferrara, Petar Tsankov | 2022-02-08 |
| 11240853 | System, method and apparatus for sensor virtualization in mobile devices | Marco Pistoia, Gegi Thomas | 2022-02-01 |
| 11227045 | System, method and apparatus for extracting usage-based fine grained permissions | Pietro Ferrara, Marco Pistoia | 2022-01-18 |
| 11222135 | User device privacy protection | Julian Timothy Dolby, Marco Pistoia, Pietro Ferrara | 2022-01-11 |
| 11194908 | Synthesizing sanitization code for applications based upon probabilistic prediction model | Peng Liu, Yunhui Zheng, Marco Pistoia | 2021-12-07 |
| 11188645 | Identifying whether an application is malicious | Roee Hay, Daniel Kalman, Roi Saltzman | 2021-11-30 |
| 11176248 | Remediation of security vulnerabilities in computer software | — | 2021-11-16 |
| 11176267 | Fine-grained user control over usages of sensitive system resources having private data with applications in privacy enforcement | Lucas Brutschy, Pietro Ferrara, Marco Pistoia | 2021-11-16 |