Cheng SHI

Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts
Cheng SHI Kazuki YONEYAMA 
Publication:   
Publication Date: 2022/03/01
Vol. E105-A  No. 3  pp. 242-267
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
formal methods, smart contracts, fairness, ProVerif, 
 Summary | Full Text:PDF
Silicon Controlled Rectifier Based Partially Depleted SOI ESD Protection Device for High Voltage Application
Yibo JIANG Hui BI Hui LI Zhihao XU Cheng SHI 
Publication:   
Publication Date: 2020/04/01
Vol. E103-C  No. 4  pp. 191-193
Type of Manuscript:  BRIEF PAPER
Category: Semiconductor Materials and Devices
Keyword: 
electrostatic discharge (ESD), silicon on insulator (SOI), high voltage protection, body-tie side triggering diode inserting silicon controlled rectifier (BSTDISCR), 
 Summary | Full Text:PDF
Verification of LINE Encryption Version 1.0 Using ProVerif
Cheng SHI Kazuki YONEYAMA 
Publication:   
Publication Date: 2019/08/01
Vol. E102-D  No. 8  pp. 1439-1448
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: 
Keyword: 
formal methods, end-to-end encryption, LINE Encryption, ProVerif, 
 Summary | Full Text:PDF