Towards Automated Generation of Bug Benchmark for Smart Contracts. - Jiaming Ye; Mingliang Ma; Tianyong Peng; Yun Peng; Yinxing Xue (ICST Workshops, 2019)

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules. - Yinxing Xue; Jiaming Ye; Mingliang Ma; Lei Ma 003; Yi Li 008; Haijun Wang 002; Yun Lin 001; Tianyong Peng; Yang Liu 003 (CoRR, 2019)

Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts. - Yinxing Xue; Mingliang Ma; Yun Lin 001; Yulei Sui; Jiaming Ye; Tianyong Peng (ASE, 2020)

A Software Analysis Based Vulnerability Detection System For Smart Contracts. - Jiaming Ye; Mingliang Ma; Tianyong Peng; Yinxing Xue (Integrating Research and Practice in Software Engineering, 2020)