Application Research of Business Rules Engine Management System Based on Drools. - Bin Huang; Zheyuan He; You Tang (CSIA (1), 2020)

SODA: A Generic Online Detection Framework for Smart Contracts. - Ting Chen 002; Rong Cao; Ting Li; Xiapu Luo; Guofei Gu; Yufei Zhang 002; Zhou Liao; Hang Zhu; Gang Chen; Zheyuan He; Yuxing Tang; Xiaodong Lin 001; et al. (NDSS, 2020)

TokenCat: Detect Flaw of Authentication on ERC20 Tokens. - Zheyuan He; Zhou Liao; Feng Luo; Dijun Liu; Ting Chen 002; Zihao Li 001 (ICC, 2022)

Attacker Traceability on Ethereum through Graph Analysis. - Hang Zhu; Weina Niu; Xuhan Liao; Xiaosong Zhang 001; Xiaofen Wang; Beibei Li 002; Zheyuan He (Secur. Commun. Networks, 2022)

Velocity Distribution Inversion Method Based on the RANS Equations Using Microwave Doppler Radar. - Zezong Chen; Zheyuan He; Chen Zhao 003; Tao Wang 157 (IEEE Trans. Geosci. Remote. Sens., 2022)

SigRec: Automatic Recovery of Function Signatures in Smart Contracts. - Ting Chen 002; Zihao Li 001; Xiapu Luo; Xiaofeng Wang 006; Ting Wang 006; Zheyuan He; Kezhao Fang; Yufei Zhang 002; Hang Zhu; Hongwei Li 001; Yan Cheng; Xiaosong Zhang 001 (IEEE Trans. Software Eng., 2022)

Poster: SigRec - Automatic Recovery of Function Signatures in Smart Contracts. - Ting Chen 002; Zihao Li 001; Xiapu Luo; Xiaofeng Wang 006; Ting Wang 006; Zheyuan He; Kezhao Fang; Yufei Zhang 002; Hang Zhu; Hongwei Li 001; Yan Cheng; Xiaosong Zhang 001 (ICDCS, 2023)

Demystifying DeFi MEV Activities in Flashbots Bundle. - Zihao Li 001; Jianfeng Li 006; Zheyuan He; Xiapu Luo; Ting Wang 006; Xiaoze Ni; Wenwu Yang; Xi Chen; Ting Chen 002 (IACR Cryptol. ePrint Arch., 2023)

TokenAware: Accurate and Efficient Bookkeeping Recognition for Token Smart Contracts. - Zheyuan He; Shuwei Song; Yang Bai; Xiapu Luo; Ting Chen 002; Wensheng Zhang; Peng He; Hongwei Li 001; Xiaodong Lin 001; Xiaosong Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Large-Scale Empirical Study of Inline Assembly on 7.6 Million Ethereum Smart Contracts. - Zhou Liao; Shuwei Song; Hang Zhu; Xiapu Luo; Zheyuan He; Renkai Jiang; Ting Chen 002; Jiachi Chen; Tao Zhang 001; Xiaosong Zhang 001 (IEEE Trans. Software Eng., 2023)

BlockExplorer: Exploring Blockchain Big Data Via Parallel Processing. - Shipeng Li; Jingwei Li 001; Yuxing Tang; Xiapu Luo; Zheyuan He; Zihao Li 001; Xi Cheng; Yang Bai; Ting Chen 002; Yuzhe Tang; Zhe Liu 001; Xiaosong Zhang 001 (IEEE Trans. Computers, 2023)

River Discharge Inversion Algorithm Based on the Surface Velocity of Microwave Doppler Radar. - Zezong Chen; Tao Wang 157; Chen Zhao 003; Zheyuan He (Remote. Sens., 2023)

fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup. - Zihao Li 001; Xinghao Peng; Zheyuan He; Xiapu Luo; Ting Chen 002 (CCS, 2024)

Towards Automatic Discovery of Denial of Service Weaknesses in Blockchain Resource Models. - Feng Luo; Huangkun Lin; Zihao Li 001; Xiapu Luo; Ruijie Luo; Zheyuan He; Shuwei Song; Ting Chen 002; Wenxuan Luo (CCS, 2024)

SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network. - Feng Luo; Ruijie Luo; Ting Chen 002; Ao Qiao; Zheyuan He; Shuwei Song; Yu Jiang 001; Sixing Li (ICSE, 2024)

Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis. - Shuwei Song; Jiachi Chen; Ting Chen 002; Xiapu Luo; Teng Li; Wenwu Yang; Leqing Wang; Weijie Zhang; Feng Luo; Zheyuan He; Yi Lu; Pan Li (ISSTA, 2024)

Nurgle: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation. - Zheyuan He; Zihao Li 001; Ao Qiao; Xiapu Luo; Xiaosong Zhang 001; Ting Chen 002; Shuwei Song; Dijun Liu; Weina Niu (SP, 2024)

Proving and Rewarding Client Diversity to Strengthen Resilience of Blockchain Networks. - Javier Ron; Zheyuan He; Martin Monperrus (CoRR, 2024)

Large Language Models for Blockchain Security: A Systematic Literature Review. - Zheyuan He; Zihao Li 001; Sen Yang (IACR Cryptol. ePrint Arch., 2024)

Maat: Analyzing and Optimizing Overcharge on Blockchain Storage. - Zheyuan He; Zihao Li 001; Ao Qiao; Jingwei Li 001; Feng Luo; Sen Yang; Gelei Deng; Shuwei Song; Xiaosong Zhang 001; Ting Chen 002; Xiapu Luo (FAST, 2025)

Automated and Accurate Token Transfer Identification and Its Applications in Cryptocurrency Security. - Shuwei Song; Ting Chen 002; Ao Qiao; Xiapu Luo; Leqing Wang; Zheyuan He; Ting Wang 006; Xiaodong Lin 001; Peng He; Wensheng Zhang; Xiaosong Zhang 001 (Proc. ACM Softw. Eng., 2025)