Issued Patents All Time
Showing 226–250 of 299 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8943599 | Certifying server side web applications against security vulnerabilities | Salvatore A. Guarnieri, Omer Tripp | 2015-01-27 |
| 8935680 | Differential static program analysis | Salvatore A. Guarnieri, Omer Tripp | 2015-01-13 |
| 8935674 | Determining correctness conditions for use in static analysis | Omer Tripp | 2015-01-13 |
| 8931101 | Application-level anomaly detection | Mauro Baluda, Paul C. Castro, John Ponzo | 2015-01-06 |
| 8930884 | Efficient extraction of software dependencies from program code | Nikolai A. Joukov, Birgit M. Pfitzmann, Vasily Tarasov, Takaaki Tateishi, Norbert G. Vogl | 2015-01-06 |
| 8918886 | Training classifiers for program analysis | Omer Tripp | 2014-12-23 |
| 8914890 | Determining the vulnerability of computer software applications to privilege-escalation attacks | Ori Segal, Omer Tripp | 2014-12-16 |
| 8910293 | Determining the vulnerability of computer software applications to privilege-escalation attacks | Ori Segal, Omer Tripp | 2014-12-09 |
| 8904543 | Discovery of application vulnerabilities involving multiple execution flows | Salvatore A. Guarnieri, Omer Tripp | 2014-12-02 |
| 8898188 | String analysis based on three-valued logic | Omer Tripp, Takaaki Tateishi | 2014-11-25 |
| 8881300 | Automated detection of flaws and incompatibility problems in information flow downgraders | Takaaki Tateishi, Stephen D. Teilhet, Omer Tripp | 2014-11-04 |
| 8875297 | Interactive analysis of a security specification | Takaaki Tateishi, Omer Tripp | 2014-10-28 |
| 8863292 | Interactive analysis of a security specification | Omer Tripp, Takaaki Tateishi | 2014-10-14 |
| 8856764 | Distributed static analysis of computer software applications | Omer Tripp, Omri Weisman | 2014-10-07 |
| 8850589 | Training classifiers for program analysis | Omer Tripp | 2014-09-30 |
| 8850405 | Generating sound and minimal security reports based on static analysis of a program | Stephen Fink, Yinnon A. Haviv, Omer Tripp, Omri Weisman | 2014-09-30 |
| 8844046 | Method and apparatus for paralleling and distributing static source code security analysis using loose synchronization | Salvatore A. Guarnieri, Omer Tripp | 2014-09-23 |
| 8819635 | Confidence-based static analysis | Omer Tripp | 2014-08-26 |
| 8799874 | Static analysis of computer software applications | Omer Tripp | 2014-08-05 |
| 8793800 | Static analysis for verification of software program access to secure resources for computer systems | Ryan Berg, Paolina Centonze, Omer Tripp | 2014-07-29 |
| 8789188 | Method and apparatus for automatic determination of authorization requirements while editing or generating code | Ted A. Habeck, Lawrence Koved, Jeff McAffer | 2014-07-22 |
| 8769696 | Automated detection of flaws and incompatibility problems in information flow downgraders | Takaaki Tateishi, Stephen D. Teilhet, Omer Tripp | 2014-07-01 |
| 8756587 | Static analysis of computer software applications | Omer Tripp | 2014-06-17 |
| 8751422 | Using a heuristically-generated policy to dynamically select string analysis algorithms for client queries | Takaaki Tateishi, Omer Tripp | 2014-06-10 |
| 8745578 | Eliminating false-positive reports resulting from static analysis of computer software | Omer Tripp | 2014-06-03 |