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
Anomaly detection in bitcoin information networks with multi-constrained meta path[J] JOURNAL OF SYSTEMS ARCHITECTURE 2020(110) Zhang, Rui Zhang, Guifa Liu, Lan Wang, Chen Wan, Shaohua
