Issued Patents All Time
Showing 226–250 of 342 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9208061 | Partitioning of program analyses into sub-analyses using dynamic hints | Salvatore A. Guarnieri, Marco Pistoia | 2015-12-08 |
| 9210184 | Determining the vulnerability of computer software applications to attacks | Roee Hay, Roi Saltzman, Adi Sharabani | 2015-12-08 |
| 9208055 | Importance-based call graph construction | Stephen Fink, Yinnon A. Haviv, Marco Pistoia, Omri Weisman | 2015-12-08 |
| 9201769 | Progressive black-box testing of computer software applications | — | 2015-12-01 |
| 9195570 | Progressive black-box testing of computer software applications | — | 2015-11-24 |
| 9189204 | Static analysis of computer software applications having a model-view-controller architecture | Yinnon A. Haviv, Omri Weisman | 2015-11-17 |
| 9177155 | Hybrid analysis of vulnerable information flows | Evgeny Beskrovny, Adi Sharabani | 2015-11-03 |
| 9176849 | Partitioning of program analyses into sub-analyses using dynamic hints | Marco Pistoia, Salvatore A. Guarnieri | 2015-11-03 |
| 9177143 | Progressive static security analysis | Marco Pistoia, Salvatore A. Guarnieri | 2015-11-03 |
| 9166996 | Automatic correction of security downgraders | Salvatore A. Guarnieri, Marco Pistoia | 2015-10-20 |
| 9164869 | Scalable and precise string analysis using index-sensitive static string abstractions | Salvatore A. Guarnieri, Marco Pistoia | 2015-10-20 |
| 9158923 | Mitigating security risks via code movement | Salvatore A. Guarnieri, Marco Pistoia | 2015-10-13 |
| 9158848 | Web testing tools system and method | Evgeny Beskrovny, Salvatore Angelo Guamieri, Marco Pistoia | 2015-10-13 |
| 9135441 | Progressive static security analysis | Marco Pistoia, Salvatore A. Guarnieri | 2015-09-15 |
| 9135147 | Automated testing of applications with scripting code | Shay Artzi, Julian Timothy Dolby, Salvatore A. Guarnieri, Simon H. Jensen, Marco Pistoia +2 more | 2015-09-15 |
| 9135152 | Optimizing test data payload selection for testing computer software applications via computer networks | Evgeny Beskrovny, Alexander Landa | 2015-09-15 |
| 9135153 | Optimizing test data payload selection for testing computer software applications via computer networks | Evgeny Beskrovny, Alexander Landa | 2015-09-15 |
| 9129119 | Enforcement of data privacy to maintain obfuscation of certain data | Michael G. Burke, Igor Peshansky, Marco Pistoia | 2015-09-08 |
| 9124624 | Detecting vulnerabilities in web applications | Yair Amit, Daniel Kalman | 2015-09-01 |
| 9098623 | Static analysis of validator routines | Ryan Berg, Marco Pistoia, Takaaki Tateishi | 2015-08-04 |
| 9092723 | Using a heuristically-generated policy to dynamically select string analysis algorithms for client queries | Marco Pistoia, Takaaki Tateishi | 2015-07-28 |
| 9087137 | Detection of custom parameters in a request URL | Yair Amit, Roee Hay, Roi Saltzman | 2015-07-21 |
| 9081968 | Quantitative analysis of information leakage vulnerabilities | Marco Pistoia | 2015-07-14 |
| 9075997 | Global variable security analysis | Shay Artzi, Ryan Berg, John Peyton, Marco Pistoia, Manu Sridharan +2 more | 2015-07-07 |
| 9037916 | Dynamic concolic execution of an application | Daniel Kalman, Adi Sharabani | 2015-05-19 |