Zheyuan He is currently pursuing his PhD degree at the School of Computer Science and Engineering, University of Electronic Science and Technology of China, under the supervision of Prof. Xiaosong Zhang. Concurrently, he is undertaking an exchange program at the lab of Martin Monperrus. His current research interests include the security of blockchain and client diversity.

Projects

The collections of Academic Smart Contract Papers: 400 Stars.

Publications

•  FSE25  Automated and Accurate Token Transfer Identification and Its Applications in Cryptocurrency Security. [pdf] [code]
  Shuwei Song, Ting Chen, Ao Qiao, Xiapu Luo, Leqing Wang, Zheyuan He, Ting Wang, Xiaodong Lin, Peng He, Wensheng Zhang, and Xiaosong Zhang
  

•  Usenix FAST25  Maat: Analyzing and Optimizing Overcharge on Blockchain Storage. [pdf] [code]
  Z. He, Z. Li, A. Qiao, J. Li, F. Luo, S. Yang, G. Deing, S. Song, X. Zhang, T. Chen, X. Luo
  USENIX Conference on File and Storage Technologies, 2025. CCF-A.
  Matt has hatched EIP-7863
  

•  Usenix Sec25  Auspex: Unveiling Inconsistency Bugs of Transaction Fee Mechanism in Blockchain. [pdf] [code]
  Z. He, Z. Li, J. Luo, F. Luo, J. Duan, J. Li, S. Song, X. Luo, T. Chen, X. Zhang
  USENIX Security, 2025. CCF-A.

•  Arxiv  Proving and Rewarding Client Diversity to Strengthen Resilience of Blockchain Networks [pdf] [code]
  Javier Ron, Zheyuan He, Martin Monperrus
  Arxiv, 2024. None.

•  ISSTA24  Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis. [pdf] [code]
  Shuwei Song, Jiachi Chen, Ting Chen, Xiapu Luo, Teng Li, Wenwu Yang, Leqing Wang, Weijie Zhang, Feng Luo, Zheyuan He, Yi Lu, Pan Li
  The ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024. CCF-A.

•  CCS24  Towards Automatic Discovery of Denial-of-Service Weaknesses in Blockchain Resource Models. [pdf] [code]
  F. Luo, H. Lin, Z. Li, X. Luo, R. Luo, Z. He, S. Song, T. Chen, W. Luo
  ACM Conference on Computer and Communications Security, 2024. CCF-A.

•  CCS24  fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup. [pdf] [code]
  Z Li, X Peng, Z. He, X Luo, T Chen
  ACM Conference on Computer and Communications Security, 2024. CCF-A.

•  Arxiv  Large Language Models for Blockchain Security: A Systematic Literature Review. [pdf] [code]
  Z. He, Z. Li, Sen. Yang
  Arxiv, 2024. None.

•  Oakland24  NURGLE: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation. [pdf] [code]
  Z. He, Z. Li(Co-first Author), A. Qiao, X. Luo, X. Zhang, T. Chen, S. Song, D. Liu, W. Niu
  IEEE Symposium on Security and Privacy, 2024. CCF-A.

•  CCS23  Demystifying DeFi MEV Activities in Flashbots Bundle. [pdf] [code]
  Z. Li, J. Li, Z. He, X. Luo, T. Wang, X. Ni, W. Yang, X. Chen, T. Chen
  ACM Conference on Computer and Communications Security, 2023. CCF-A.

•  ICSE23  SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network. [pdf] [code]
  Feng Luo, Ruijie Luo, Ting Chen, Ao Qiao, Zheyuan He, Shuwei Song, Yu Jiang, Sixing Li
  The International Conference on Software Engineering, 2023. CCF-A.

•  TOSEM  TokenAware: Accurate and efficient bookkeeping recognition for token smart contracts. [pdf] [code]
  Zheyuan He, Shuwei Song, Yang Bai, Xiapu Luo, Ting Chen, Wensheng Zhang, Peng He, Hongwei Li, Xiaodong Lin, Xiaosong Zhang ACM Transactions on Software Engineering and Methodology, 2023. CCF-A.

•  TSE  Large-scale empirical study of inline assembly on 7.6 million ethereum smart contracts. [pdf] [code]
  Zhou Liao, Shuwei Song, Hang Zhu, Xiapu Luo, Zheyuan He, Renkai Jiang, Ting Chen, Jiachi Chen, Tao Zhang, Xiaosong Zhang
  IEEE Transactions on Software Engineering, 2022. CCF-A.

•  ICC22  TokenCat: Detect Flaw of Authentication on ERC20 Tokens. [pdf] [code]
  Z. He, Z. Liao, F. Luo, D. Liu, T. Chen, Z. Li
  IEEE International Conference on Communications, 2022. CCF-C.

•  TSE  SigRec: Automatic Recovery of Function Signatures in Smart Contracts. [pdf] [code]
  T. Chen, Z. Li, X. Luo, X.Wang, T.Wang, Z. He, K. Fang, Y. Zhang, H. Zhu, H Li, Y Cheng, and X. Zhang
  IEEE Transactions on Software Engineering, 2021. CCF-A.

•  NDSS20  SODA: A Generic Online Detection Framework for Smart Contracts. [pdf] [code]
  Ting Chen, Rong Cao, Ting Li, Xiapu Luo, Guofei Gu, Yufei Zhang, Zhou Liao, Hang Zhu, Gang Chen, Zheyuan He, Yuxing Tang, Xiaodong Lin, Xiaosong Zhang
  Network and Distributed System Security Symposium, 2020. CCF-A.