ReGuard: finding reentrancy bugs in smart contracts. - Chao Liu 032; Han Liu 010; Zhao Cao; Zhong Chen 001; Bangdao Chen; Bill Roscoe (ICSE (Companion Volume), 2018)

S-gram: towards semantic-aware security auditing for Ethereum smart contracts. - Han Liu 010; Chao Liu 032; Wenqi Zhao; Yu Jiang 001; Jiaguang Sun 001 (ASE, 2018)

EClone: detect semantic clones in Ethereum via symbolic transaction sketch. - Han Liu 010; Zhiqiang Yang; Chao Liu 032; Yu Jiang 001; Wenqi Zhao; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2018)

Understanding Out of Gas Exceptions on Ethereum. - Chao Liu 032; Jianbo Gao; Yue Li 037; Zhong Chen 001 (BlockSys, 2019)

EasyFlow: keep ethereum away from overflow. - Jianbo Gao; Han Liu 010; Chao Liu 032; Qingshan Li; Zhi Guan; Zhong Chen 001 (ICSE (Companion Volume), 2019)

Towards automated testing of blockchain-based decentralized applications. - Jianbo Gao; Han Liu 010; Yue Li 037; Chao Liu 032; Zhiqiang Yang; Qingshan Li; Zhi Guan; Zhong Chen 001 (ICPC, 2019)

Studying gas exceptions in blockchain-based cloud applications. - Chao Liu 032; Jianbo Gao; Yue Li 037; Huihui Wang 001; Zhong Chen 001 (J. Cloud Comput., 2020)

BLOCKEYE: Hunting for DeFi Attacks on Blockchain. - Bin Wang; Han Liu 010; Chao Liu 032; Zhiqiang Yang; Qian Ren; Huixuan Zheng; Hong Lei 001 (ICSE (Companion Volume), 2021)

Trusted And Confidential Program Analysis. - Han Liu 010; Pedro Antonino; Zhiqiang Yang; Chao Liu 032; A. W. Roscoe 001 (CoRR, 2021)