Issued Patents All Time
Showing 26–50 of 75 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10095484 | Automatic program synthesis using monadic second-order logic | — | 2018-10-09 |
| 9858419 | 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 | 2018-01-02 |
| 9571271 | Sending messages by oblivious transfer | Yuji Watanabe | 2017-02-14 |
| 9454375 | Parallel program analysis and branch prediction | Takayuki Kushida, Takuya Mishina, Hitomi Takahashi | 2016-09-27 |
| 9397986 | Authenticating acceptance of a string using an automaton | Yuji Watanabe | 2016-07-19 |
| 9336120 | Enhanced string analysis that improves accuracy of static analysis | Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp | 2016-05-10 |
| 9275246 | System and method for static detection and categorization of information-flow downgraders | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Guy Podjarny, Adi Sharabani +2 more | 2016-03-01 |
| 9178779 | System for detecting whether client state matches predetermined state | Yuji Watanabe | 2015-11-03 |
| 9173076 | Authentication method, authentication system and authentication program | Yuji Watanabe | 2015-10-27 |
| 9098623 | Static analysis of validator routines | Ryan Berg, Marco Pistoia, Omer Tripp | 2015-08-04 |
| 9100372 | System for determining whether or not automaton satisfies context-free grammar | Yuji Watanabe | 2015-08-04 |
| 9092723 | Using a heuristically-generated policy to dynamically select string analysis algorithms for client queries | Marco Pistoia, Omer Tripp | 2015-07-28 |
| 9075997 | Global variable security analysis | Shay Artzi, Ryan Berg, John Peyton, Marco Pistoia, Manu Sridharan +2 more | 2015-07-07 |
| 8997060 | Parallel program analysis and branch prediction | Takayuki Kushida, Takuya Mishina, Hitomi Takahashi | 2015-03-31 |
| 8984495 | Enhanced string analysis that improves accuracy of static analysis | Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp | 2015-03-17 |
| 8977841 | Sending messages by oblivious transfer | Yuji Watanabe | 2015-03-10 |
| 8930884 | Efficient extraction of software dependencies from program code | Nikolai A. Joukov, Birgit M. Pfitzmann, Marco Pistoia, Vasily Tarasov, Norbert G. Vogl | 2015-01-06 |
| 8898188 | String analysis based on three-valued logic | Marco Pistoia, Omer Tripp | 2014-11-25 |
| 8891760 | System for checking acceptance of string by automaton | Yuji Watanabe | 2014-11-18 |
| 8881300 | Automated detection of flaws and incompatibility problems in information flow downgraders | Marco Pistoia, Stephen D. Teilhet, Omer Tripp | 2014-11-04 |
| 8875297 | Interactive analysis of a security specification | Marco Pistoia, Omer Tripp | 2014-10-28 |
| 8863292 | Interactive analysis of a security specification | Marco Pistoia, Omer Tripp | 2014-10-14 |
| 8769696 | Automated detection of flaws and incompatibility problems in information flow downgraders | Marco Pistoia, Stephen D. Teilhet, Omer Tripp | 2014-07-01 |
| 8751422 | Using a heuristically-generated policy to dynamically select string analysis algorithms for client queries | Marco Pistoia, Omer Tripp | 2014-06-10 |
| 8726246 | Static analysis of validator routines | Ryan Berg, Marco Pistoia, Omer Tripp | 2014-05-13 |