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
Behind Closed Doors: Measurement and Analysis of CryptoLocker Ransoms in Bitcoin[C] PROCEEDINGS OF THE 2016 APWG SYMPOSIUM ON ELECTRONIC CRIME RESEARCH (ECRIME) 2016 Liao, Kevin Zhao, Ziming Doupe, Adam Ahn, Gail-Joon
