SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts[J] EMPIRICAL SOFTWARE ENGINEERING 2022(27) Li, Zhaoxuan Lu, Siqi Zhang, Rui Xue, Rui Ma, Wenqiu Liang, Rujin Zhao, Ziming Gao, Sheng
Smart Contract-Based Cross-Domain Authentication and Key Agreement System for Heterogeneous Wireless Networks[J] MOBILE INFORMATION SYSTEMS 2020(2020) Li, Guangsong Wang, Yang Zhang, Bin Lu, Siqi
