Inventor

TATEISHI TAKAAKI

JP78 patents

⚠️ This page may combine multiple inventors who share the name “TATEISHI TAKAAKI”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

TATEISHI TAKAAKI

IBM

Systems, methods and computer program products for string analysis with security labels for vulnerability detection

Blockchain notification board storing blockchain resources

Composition operators for smart contract

Automated detection of flaws and incompatibility problems in information flow downgraders

Modular and/or demand-driven string analysis of a computer program

Performance computer program testing after source code modification using execution conditions

Global variable security analysis

Certifying authenticity of data modifications

Certifying authenticity of data modifications

Certifying authenticity of data modifications

Smart contract input mapping

Automatic generation of smart contracts

Enhanced string analysis that improves accuracy of static analysis

Formal specification generation using examples

Enhanced string analysis that improves accuracy of static analysis

Sending messages by oblivious transfer

Efficient extraction of software dependencies from program code

Blockchain notification board storing blockchain resources

Formal analysis of the quality and conformance of information flow downgraders

Determining whether method of computer program is a validator

Partial program execution with attribute-based data conversion for dynamic program analysis

Handling mock objects that are written in the form of multiple assignment instructions

Certifying authenticity of data modifications

Authentication method, authentication system and authentication program

Blockchain notification board storing blockchain resources

Blockchain notification board storing blockchain resources

Static analysis of smart contract determinism

Snapshot restoration

Blockchain notification board storing blockchain resources

Data augmentation using semantic transforms

PISTOIA MARCO

Interactive analysis of a security specification

Interactive analysis of a security specification

Automated detection of flaws and incompatibility problems in information flow downgraders

Label-based taint analysis

Static analysis based on observed string values during execution of a computer-based software application

Identification of read/write chains during static analysis of computer software

HAVIV YINNON A

Injection context based static analysis of computer software applications

Identifying security vulnerability in computer software

HAVIV YINNON AVRAHAM

Verification of information-flow downgraders

Eliminating false reports of security vulnerabilities when testing computer software

ARTZI SHAY

Global variable security analysis

CENTONZE PAOLINA

Automatic optimization of string allocations in a computer program

BERG RYAN J

Formal analysis of the quality and conformance of information flow downgraders

YOSHIHAMA SACHIKO

Crawling of object model using transformation graph

DOLBY JULIAN TIMOTHY

System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precision

JOUKOV NIKOLAI A

Efficient extraction of software dependencies from program code

BERG RYAN

Policy-driven detection and verification of methods such as sanitizers and validators

GUY LOTEM

Automatic inference of whitelist-based validation as part of static analysis for security

ONO KOUICHI

Method for model based verification of security policies for web service composition

TATEISHI TAKAAKI

Computer program testing after source code modification using execution conditions