SmartFast: an accurate and robust formal analysis tool for Ethereum smart contracts. - Zhaoxuan Li; Siqi Lu; Rui Zhang 016; Rui Xue 001; Wenqiu Ma; Rujin Liang; Ziming Zhao 008; Sheng Gao 002 (Empir. Softw. Eng., 2022)

VulHunter: Hunting Vulnerable Smart Contracts at EVM Bytecode-Level via Multiple Instance Learning. - Zhaoxuan Li; Siqi Lu; Rui Zhang 016; Ziming Zhao 008; Rujin Liang; Rui Xue 001; Wenhao Li 005; Fan Zhang 010; Sheng Gao 002 (IEEE Trans. Software Eng., 2023)