Inventor · disambiguated record
Takaaki Tateishi
Also filed as: TATEISHI TAKAAKI
75 granted patents·9 pending applications·379 citations·filing 2005–2023
99Inventor score
Top patents by PatentIndex Score
84 records- 0196US10997159B2Blockchain notification board storing blockchain resourcesIBM·Filed 2018·Granted May 4, 2021·35 cites·25 claims
- 0296US7530107B1Systems, methods and computer program products for string analysis with security labels for vulnerability detectionIBM·Filed 2007·Granted May 5, 2009·94 cites·1 claims
- 0392US12418420B2Certifying authenticity of data modificationsIBM·Filed 2022·Granted Sep 16, 2025·2 cites·20 claims
- 0492US8528095B2Injection context based static analysis of computer software applicationsHAVIV YINNON A·Filed 2010·Granted Sep 3, 2013·21 cites·18 claims
- 0591US8769696B2Automated detection of flaws and incompatibility problems in information flow downgradersPISTOIA MARCO·Filed 2011·Granted Jul 1, 2014·15 cites·20 claims
- 0689US10896149B2Composition operators for smart contractIBM·Filed 2018·Granted Jan 19, 2021·7 cites·25 claims
- 0789US9075997B2Global variable security analysisIBM·Filed 2014·Granted Jul 7, 2015·10 cites·19 claims
- 0888US10896195B2Automatic generation of smart contractsIBM·Filed 2018·Granted Jan 19, 2021·5 cites·22 claims
- 0987US11520773B2Blockchain notification board storing blockchain resourcesIBM·Filed 2018·Granted Dec 6, 2022·4 cites·15 claims
- 1087US8667584B2Formal analysis of the quality and conformance of information flow downgradersBERG RYAN J·Filed 2010·Granted Mar 4, 2014·11 cites·13 claims
- 1184US10901955B2Smart contract input mappingIBM·Filed 2018·Granted Jan 26, 2021·4 cites·25 claims
- 1284US8656496B2Global variable security analysisARTZI SHAY·Filed 2010·Granted Feb 18, 2014·7 cites·18 claims
- 1384US8635602B2Verification of information-flow downgradersHAVIV YINNON AVRAHAM·Filed 2010·Granted Jan 21, 2014·10 cites·23 claims
- 1484US8381199B2Modular and/or demand-driven string analysis of a computer programIBM·Filed 2010·Granted Feb 19, 2013·8 cites·20 claims
- 1583US8881300B2Automated detection of flaws and incompatibility problems in information flow downgradersIBM·Filed 2013·Granted Nov 4, 2014·6 cites·11 claims
- 1683US8875297B2Interactive analysis of a security specificationPISTOIA MARCO·Filed 2012·Granted Oct 28, 2014·5 cites·10 claims
- 1783US8863292B2Interactive analysis of a security specificationPISTOIA MARCO·Filed 2011·Granted Oct 14, 2014·5 cites·14 claims
- 1883US8468605B2Identifying security vulnerability in computer softwareHAVIV YINNON A·Filed 2009·Granted Jun 18, 2013·12 cites·10 claims
- 1983US7844955B2Performance computer program testing after source code modification using execution conditionsIBM·Filed 2005·Granted Nov 30, 2010·12 cites·1 claims
- 2082US11374762B2Certifying authenticity of data modificationsIBM·Filed 2018·Granted Jun 28, 2022·3 cites·13 claims
- 2181US10992456B2Certifying authenticity of data modificationsIBM·Filed 2018·Granted Apr 27, 2021·3 cites·25 claims
- 2281US10331415B2Formal specification generation using examplesIBM·Filed 2016·Granted Jun 25, 2019·3 cites·20 claims
- 2381US8572748B2Label-based taint analysisPISTOIA MARCO·Filed 2011·Granted Oct 29, 2013·6 cites·21 claims
- 2480US8984495B2Enhanced string analysis that improves accuracy of static analysisIBM·Filed 2013·Granted Mar 17, 2015·4 cites·23 claims
- 2580US8365281B2Determining whether method of computer program is a validatorIBM·Filed 2010·Granted Jan 29, 2013·6 cites·20 claims
- 2679US8977841B2Sending messages by oblivious transferIBM·Filed 2012·Granted Mar 10, 2015·4 cites·14 claims
- 2779US8930884B2Efficient extraction of software dependencies from program codeIBM·Filed 2013·Granted Jan 6, 2015·4 cites·13 claims
- 2879US8701186B2Formal analysis of the quality and conformance of information flow downgradersIBM·Filed 2013·Granted Apr 15, 2014·4 cites·12 claims
- 2978US8473899B2Automatic optimization of string allocations in a computer programCENTONZE PAOLINA·Filed 2009·Granted Jun 25, 2013·9 cites·25 claims
- 3077US8627465B2Automatic inference of whitelist-based validation as part of static analysis for securityGUY LOTEM·Filed 2011·Granted Jan 7, 2014·6 cites·18 claims
- 3177US8584246B2Eliminating false reports of security vulnerabilities when testing computer softwareHAVIV YINNON AVRAHAM·Filed 2009·Granted Nov 12, 2013·9 cites·13 claims
- 3275US8572747B2Policy-driven detection and verification of methods such as sanitizers and validatorsBERG RYAN·Filed 2010·Granted Oct 29, 2013·5 cites·17 claims
- 3374US8533659B2Efficient extraction of software dependencies from program codeJOUKOV NIKOLAI A·Filed 2009·Granted Sep 10, 2013·5 cites·18 claims
- 3470US12120254B2Blockchain notification board storing blockchain resourcesIBM·Filed 2022·Granted Oct 15, 2024·0 cites·25 claims
- 3570US10372582B2Enhanced string analysis that improves accuracy of static analysisIBM·Filed 2016·Granted Aug 6, 2019·1 cites·21 claims
- 3670US8296722B2Crawling of object model using transformation graphYOSHIHAMA SACHIKO·Filed 2008·Granted Oct 23, 2012·7 cites·20 claims
- 3769US11849047B2Certifying authenticity of data modificationsIBM·Filed 2018·Granted Dec 19, 2023·1 cites·11 claims
- 3868US9173076B2Authentication method, authentication system and authentication programIBM·Filed 2012·Granted Oct 27, 2015·2 cites·16 claims
- 3967US8650546B2Static analysis based on observed string values during execution of a computer-based software applicationPISTOIA MARCO·Filed 2011·Granted Feb 11, 2014·2 cites·12 claims
- 4067US8572674B2System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precisionDOLBY JULIAN TIMOTHY·Filed 2008·Granted Oct 29, 2013·6 cites·24 claims
- 4166US12038825B2Partial program execution with attribute-based data conversion for dynamic program analysisIBM·Filed 2022·Granted Jul 16, 2024·0 cites·20 claims
- 4266US11989122B2Handling mock objects that are written in the form of multiple assignment instructionsIBM·Filed 2022·Granted May 21, 2024·0 cites·20 claims
- 4365US12250309B2Blockchain notification board storing blockchain resourcesIBM·Filed 2022·Granted Mar 11, 2025·0 cites·20 claims
- 4464US8997060B2Parallel program analysis and branch predictionIBM·Filed 2013·Granted Mar 31, 2015·1 cites·20 claims
- 4564US2019361788A1Interactive analysis of a security specificationIBM·Filed 2019·Application pending·0 cites
- 4662US8650608B2Method for model based verification of security policies for web service compositionONO KOUICHI·Filed 2007·Granted Feb 11, 2014·5 cites·4 claims
- 4762US8533694B2Identification of read/write chains during static analysis of computer softwarePISTOIA MARCO·Filed 2008·Granted Sep 10, 2013·2 cites·12 claims
- 4862US7849404B2System for determining whether screen displayed by program satisfies specificationIBM·Filed 2007·Granted Dec 7, 2010·2 cites·1 claims
- 4962US2025005340A1Neural network with time and space connectionsIBM·Filed 2023·Application pending·0 cites
- 5061US8365280B2System, method, and program for determining validity of stringIBM·Filed 2010·Granted Jan 29, 2013·1 cites·9 claims
Showing the top 50 of 84 patent records by PatentIndex Score.
Join the waitlist — get patent alerts
Get an alert when Takaaki Tateishi files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →