NeuCheck: A more practical Ethereum smart contract security analysis tool[J] SOFTWARE-PRACTICE & EXPERIENCE 2021(51) Lu, Ning Wang, Bin Zhang, Yongxin Shi, Wenbo Esposito, Christian
A secure spectrum auction scheme without the trusted party based on the smart contract[J] DIGITAL COMMUNICATIONS AND NETWORKS 2021(7) Wang, Jiaqi Lu, Ning Cheng, Qingfeng Zhou, Lu Shi, Wenbo
Dredas: Decentralized, reliable and efficient remote outsourced data auditing scheme with blockchain smart contract for industrial IoT[J] FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE 2020(110) Fan, Kuan Bao, Zijian Liu, Mingxi Vasilakos, Athanasios V. Shi, Wenbo