AntFuzzer: A Grey-Box Fuzzing Framework for EOSIO Smart Contracts. - Jianfei Zhou; Tianxing Jiang; Shuwei Song; Ting Chen 002 (CoRR, 2022)

DAppHunter: Identifying Inconsistent Behaviors of Blockchain-based Decentralized Applications. - Jianfei Zhou; Tianxing Jiang; Haijun Wang; Meng Wu; Ting Chen 002 (ICSE-SEIP, 2023)

WASMOD: Detecting vulnerabilities in Wasm smart contracts. - Jianfei Zhou; Ting Chen 002 (IET Blockchain, 2023)