Issued Patents All Time
Showing 1–25 of 25 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10742666 | System and method for static detection and categorization of information-flow downgraders | Roee Hay, Marco Pistoia, Guy Podjarny, Adi Sharabani, Takaaki Tateishi +2 more | 2020-08-11 |
| 10157049 | Static analysis with input reduction | Daniel Kalman, Dmitri Pikus, Omer Tripp, Omri Weisman | 2018-12-18 |
| 9836608 | System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies | Paolina Centonze, Roee Hay, Marco Pistoia, Adi Sharabani, Omer Tripp | 2017-12-05 |
| 9747187 | Simulating black box test results using information from white box testing | Stephen Fink, Roee Hay, Marco Pistoia, Ory Segal, Adi Sharabani +4 more | 2017-08-29 |
| 9720798 | Simulating black box test results using information from white box testing | Stephen Fink, Roee Hay, Marco Pistoia, Ory Segal, Adi Sharabani +4 more | 2017-08-01 |
| 9607154 | System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies | Paolina Centonze, Roee Hay, Marco Pistoia, Adi Sharabani, Omer Tripp | 2017-03-28 |
| 9298924 | Fixing security vulnerability in a source code | Aharon Abadi, Yishai Feldman, Ran Ettinger, Jonathan Bnayahu, Omer Tripp +2 more | 2016-03-29 |
| 9275246 | System and method for static detection and categorization of information-flow downgraders | Roee Hay, Marco Pistoia, Guy Podjarny, Adi Sharabani, Takaaki Tateishi +2 more | 2016-03-01 |
| 9223977 | Detection of DOM-based cross-site scripting vulnerabilities | Yair Amit, Daniel Kalman, Omer Tripp, Omri Weisman | 2015-12-29 |
| 9208055 | Importance-based call graph construction | Stephen Fink, Marco Pistoia, Omer Tripp, Omri Weisman | 2015-12-08 |
| 9189204 | Static analysis of computer software applications having a model-view-controller architecture | Omer Tripp, Omri Weisman | 2015-11-17 |
| 9032528 | Black-box testing of web applications with client-side code evaluation | Daniel Kalman, Dmitri Pikus, Omer Tripp, Omri Weisman | 2015-05-12 |
| 8910291 | Black-box testing of web applications with client-side code evaluation | Daniel Kalman, Dmitri Pikus, Omer Tripp, Omri Weisman | 2014-12-09 |
| 8850405 | Generating sound and minimal security reports based on static analysis of a program | Stephen Fink, Marco Pistoia, Omer Tripp, Omri Weisman | 2014-09-30 |
| 8819637 | Fixing security vulnerability in a source code | Aharon Abadi, Yishai Feldman, Ran Ettinger, Jonathan Bnayahu, Omer Tripp +2 more | 2014-08-26 |
| 8726245 | Static analysis of computer software applications having a model-view-controller architecture | Omer Tripp, Omri Weisman | 2014-05-13 |
| 8683596 | Detection of DOM-based cross-site scripting vulnerabilities | Yair Amit, Daniel Kalman, Omer Tripp, Omri Weisman | 2014-03-25 |
| 8635602 | Verification of information-flow downgraders | Roee Hay, Marco Pistoia, Adi Sharabani, Takaaki Tateishi, Omer Tripp +1 more | 2014-01-21 |
| 8584246 | Eliminating false reports of security vulnerabilities when testing computer software | Roee Hay, Marco Pistoia, Adi Sharabani, Takaaki Tateishi, Omer Tripp +1 more | 2013-11-12 |
| 8572727 | System, method and apparatus for simultaneous definition and enforcement of access-control and integrity policies | Paolina Centonze, Roee Hay, Marco Pistoia, Adi Sharabani, Omer Tripp | 2013-10-29 |
| 8539466 | Determining suitable insertion points for string sanitizers in a computer code | Aharon Abadi, Jonathan Bnayahu, Ran Ettinger, Yishai Feldman, Adi Sharabani | 2013-09-17 |
| 8528095 | Injection context based static analysis of computer software applications | Roee Hay, Marco Pistoia, Ory Segal, Adi Sharabani, Takaaki Tateishi +2 more | 2013-09-03 |
| 8468605 | Identifying security vulnerability in computer software | Roee Hay, Marco Pistoia, Adi Sharabani, Takaaki Tateishi, Omer Tripp +1 more | 2013-06-18 |
| 8375371 | Importance-based call graph construction | Stephen Fink, Marco Pistoia, Omer Tripp, Omri Weisman | 2013-02-12 |
| 8365280 | System, method, and program for determining validity of string | Marco Pistoia, Naoshi Tabuchi, Takaaki Tateishi | 2013-01-29 |