TA-SPESC: Toward Asset-Driven Smart Contract Language Supporting Ownership Transaction and Rule-Based Generation on Blockchain[J] IEEE TRANSACTIONS ON RELIABILITY 2021(70) Zhu, Yan Song, Weijing Wang, Di Ma, Di Chu, William Cheng-Chung
Secure Smart Contract System built on SMPC over Blockchain[C] IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY 2018 Zhu, Yan Song, Xiaoxu Yang, Shuai Qin, Yao Zhou, Qiong