Issued Patents All Time
Showing 51–75 of 75 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8701186 | Formal analysis of the quality and conformance of information flow downgraders | Ryan Berg, Marco Pistoia, Stephen D. Teilhet, Omer Tripp | 2014-04-15 |
| 8667584 | Formal analysis of the quality and conformance of information flow downgraders | Ryan Berg, Marco Pistoia, Stephen D. Teilhet, Omer Tripp | 2014-03-04 |
| 8656496 | Global variable security analysis | Shay Artzi, Ryan Berg, John Peyton, Marco Pistoia, Manu Sridharan +2 more | 2014-02-18 |
| 8650546 | Static analysis based on observed string values during execution of a computer-based software application | Marco Pistoia, Omer Tripp | 2014-02-11 |
| 8650608 | Method for model based verification of security policies for web service composition | Kouichi Ono, Yuhichi Nakumura, Fumiko Satoh | 2014-02-11 |
| 8635602 | Verification of information-flow downgraders | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Adi Sharabani, Omer Tripp +1 more | 2014-01-21 |
| 8627465 | Automatic inference of whitelist-based validation as part of static analysis for security | Lotem Guy, Marco Pistoia, Omer Tripp | 2014-01-07 |
| 8584246 | Eliminating false reports of security vulnerabilities when testing computer software | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Adi Sharabani, Omer Tripp +1 more | 2013-11-12 |
| 8572674 | System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precision | Julian Timothy Dolby, Emmanuel Geay, Marco Pistoia, Barbara G. Ryder | 2013-10-29 |
| 8572748 | Label-based taint analysis | Marco Pistoia, Omer Tripp | 2013-10-29 |
| 8572747 | Policy-driven detection and verification of methods such as sanitizers and validators | Ryan Berg, Marco Pistoia, Omer Tripp | 2013-10-29 |
| 8561035 | Method and system to discover possible program variable values by connecting program value extraction with external data sources | Sergej Chicherin, Nikolai A. Joukov, Birgit M. Pfitzmann, Marco Pistoia, Vasily Tarasov +1 more | 2013-10-15 |
| 8533694 | Identification of read/write chains during static analysis of computer software | Marco Pistoia, Omer Tripp, Omri Weisman | 2013-09-10 |
| 8533659 | Efficient extraction of software dependencies from program code | Nikolai A. Joukov, Birgit M. Pfitzmann, Marco Pistoia, Vasily Tarasov, Norbert G. Vogl | 2013-09-10 |
| 8528095 | Injection context based static analysis of computer software applications | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Ory Segal, Adi Sharabani +2 more | 2013-09-03 |
| 8473899 | Automatic optimization of string allocations in a computer program | Paolina Centonze, Mohammed Mostafa, Marco Pistoia | 2013-06-25 |
| 8468605 | Identifying security vulnerability in computer software | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Adi Sharabani, Omer Tripp +1 more | 2013-06-18 |
| 8381199 | Modular and/or demand-driven string analysis of a computer program | Omer Tripp, Marco Pistoia | 2013-02-19 |
| 8365280 | System, method, and program for determining validity of string | Yinnon A. Haviv, Marco Pistoia, Naoshi Tabuchi | 2013-01-29 |
| 8365281 | Determining whether method of computer program is a validator | Marco Pistoia, Omer Tripp, Ryan Berg, Robert Wiener | 2013-01-29 |
| 8296722 | Crawling of object model using transformation graph | Sachiko Yoshihama, Shinya Kawanaka, Ory Segal, Adi Sharabani, Marco Pistoia +1 more | 2012-10-23 |
| 8209671 | Computer program testing after source code modification using execution conditions | Fumihiko Kitayama | 2012-06-26 |
| 7849404 | System for determining whether screen displayed by program satisfies specification | Hisashi Miyashita, Akihiko Tozawa, Shin Saito, Naoshi Tabuchi | 2010-12-07 |
| 7844955 | Performance computer program testing after source code modification using execution conditions | Fumihiko Kitayama | 2010-11-30 |
| 7530107 | Systems, methods and computer program products for string analysis with security labels for vulnerability detection | Kouichi Ono, Mika Saito, Naoshi Tabuchi | 2009-05-05 |