Issued Patents All Time
Showing 1–25 of 75 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12418420 | Certifying authenticity of data modifications | Hiroaki Nakamura | 2025-09-16 |
| 12250309 | Blockchain notification board storing blockchain resources | Futoshi Iwama, Shunichi Amano, Sachiko Yoshihama | 2025-03-11 |
| 12120254 | Blockchain notification board storing blockchain resources | Futoshi Iwama, Shunichi Amano, Sachiko Yoshihama | 2024-10-15 |
| 12038825 | Partial program execution with attribute-based data conversion for dynamic program analysis | — | 2024-07-16 |
| 11989122 | Handling mock objects that are written in the form of multiple assignment instructions | — | 2024-05-21 |
| 11849047 | Certifying authenticity of data modifications | Hiroaki Nakamura | 2023-12-19 |
| 11790263 | Program synthesis using annotations based on enumeration patterns | Futoshi Iwama, Shin Saito | 2023-10-17 |
| 11520773 | Blockchain notification board storing blockchain resources | Futoshi Iwama, Shunichi Amano, Sachiko Yoshihama | 2022-12-06 |
| 11502822 | Static analysis of smart contract determinism | Futoshi Iwama, Shin Saito, Shunichi Amano, Sachiko Yoshihama | 2022-11-15 |
| 11500844 | Synthetic data creation for dynamic program analysis | Yuichi Nakamura, Toshihiro Takahashi | 2022-11-15 |
| 11422780 | Automatically extracting feature engineering knowledge from execution traces | — | 2022-08-23 |
| 11379316 | Snapshot restoration | Kohichi Kamijoh, Kiyokuni Kawachiya, Ryo Kawahara | 2022-07-05 |
| 11374762 | Certifying authenticity of data modifications | Hiroaki Nakamura | 2022-06-28 |
| 11303442 | Blockchain notification board storing blockchain resources | Futoshi Iwama, Shunichi Amano, Sachiko Yoshihama | 2022-04-12 |
| 10997159 | Blockchain notification board storing blockchain resources | Futoshi Iwama, Shunichi Amano, Sachiko Yoshihama | 2021-05-04 |
| 10992456 | Certifying authenticity of data modifications | Hiroaki Nakamura | 2021-04-27 |
| 10901955 | Smart contract input mapping | Naoto Sato, Shunichi Amano | 2021-01-26 |
| 10896195 | Automatic generation of smart contracts | Naoto Sato, Shunichi Amano | 2021-01-19 |
| 10896149 | Composition operators for smart contract | Naoto Sato, Shunichi Amano | 2021-01-19 |
| 10742666 | 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 | 2020-08-11 |
| 10572228 | Automatic program synthesis using monadic second-order logic | — | 2020-02-25 |
| 10489149 | Information processing apparatus, information processing method and program | Futoshi Iwama | 2019-11-26 |
| 10387288 | Interactive analysis of a security specification | Marco Pistoia, Omer Tripp | 2019-08-20 |
| 10372582 | Enhanced string analysis that improves accuracy of static analysis | Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp | 2019-08-06 |
| 10331415 | Formal specification generation using examples | Yoichi Hatsutori, Futoshi Iwama, Shin Saito, Hideo Watanabe | 2019-06-25 |