An empirical study of security risks introduced by EIP-7702 smart accounts across the blockchain ecosystem.
@inproceedings{yang2026eip7702,title={Revealing the Dark Side of Smart Accounts: An Empirical Study of EIP-7702 Incurred Risks in Blockchain Ecosystem},author={Huang, Mingyuan and Liu, Han and Yang, Shuo and Wu, Daoyuan and Wang, Shuai},booktitle={USENIX Security Symposium (CCF-A)},year={2026},}
A state-aware dataflow analysis approach for identifying smart contract state manipulation attacks.
@article{yang2025smasher,title={Who is Pulling the Strings: Unveiling Smart Contract State Manipulation Attacks through State-Aware Dataflow Analysis},author={Yang, Shuo and Chen, Jiachi and Xiao, Lei and Hu, Jinyuan and Lin, Dan and Wu, Jiajing and Zhang, Tao and Zheng, Zibin},journal={IEEE Transactions on Software Engineering (CCF-A)},year={2025},doi={10.1109/TSE.2025.3605145},}
An LLM-pruned symbolic execution approach for detecting numerical defects in smart contracts.
@article{chen2025numscout,title={NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution},author={Chen, Jiachi and Shao, Zhenzhe and Yang, Shuo and Shen, Yiming and Wang, Yanlin and Chen, Ting and Shan, Zhenyu and Zheng, Zibin},journal={IEEE Transactions on Software Engineering (CCF-A)},year={2025},doi={10.1109/TSE.2025.3555622},}
An LLM and dataflow-guided symbolic execution framework for uncovering inconsistencies in decentralized applications.
@inproceedings{yang2025hyperion,title={Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution},author={Yang, Shuo and Lin, Xingwei and Chen, Jiachi and Zhong, Qingyuan and Xiao, Lei and Huang, Renke and Wang, Yanlin and Zheng, Zibin},booktitle={International Conference on Software Engineering (CCF-A)},year={2025},doi={10.1109/ICSE55347.2025.00015},}
A detection approach for sleepminting vulnerabilities in NFT smart contracts.
@inproceedings{xiao2025wakemint,title={WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts},author={Xiao, Lei and Yang, Shuo and Chen, Wen and Zheng, Zibin},booktitle={International Conference on Software Analysis, Evolution and Reengineering (CCF-B)},year={2025},doi={10.1109/SANER63351.2025.00085},}
A cross-contract analysis approach for detecting exploitable reentrancy vulnerabilities through attacker-contract identification.
@inproceedings{yang2024blockwatchdog,title={Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts},author={Yang, Shuo and Chen, Jiachi and Huang, Mingyuan and Zheng, Zibin and Huang, Yuan},booktitle={International Conference on Software Engineering (CCF-A)},year={2024},doi={10.1145/3597503.3639153},}
A function-oriented fuzzing approach for effective and efficient smart contract vulnerability detection.
@article{ye2024funfuzz,title={FunFuzz: A Function-oriented Fuzzer for Smart Contract Vulnerability Detection with High Effectiveness and Efficiency},author={Ye, Mingxi and Nan, Yuhong and Dai, Hong-Ning and Yang, Shuo and Zheng, Zibin and Luo, Xiapu},journal={ACM Transactions on Software Engineering and Methodology (CCF-A)},year={2024},doi={10.1145/3674725},}
An empirical analysis of cryptocurrency money-laundering asset flows through Ethereum heist cases.
@article{wu2023ethereumheist,title={Towards Understanding Asset Flows in Crypto Money Laundering Through the Lenses of Ethereum Heist},author={Wu, Jiajing and Lin, Dan and Fu, Qishuang and Yang, Shuo and Chen, Ting and Zheng, Zibin and Song, Bowen},journal={IEEE Transactions on Information Forensics and Security (CCF-A)},year={2023},doi={10.1109/TIFS.2023.3341857},}
A systematic definition and detection study of defects in NFT smart contracts.
@inproceedings{yang2023nftdefects,title={Definition and Detection of Defects in NFT Smart Contracts},author={Yang, Shuo and Chen, Jiachi and Zheng, Zibin},booktitle={International Symposium on Software Testing and Analysis (CCF-A)},year={2023},doi={10.1145/3597926.3598063},}
A control-flow-based analysis technique for WebAssembly smart contracts.
@inproceedings{yang2022wali,title={WaLi: Control-Flow-Based Analysis of Wasm Smart Contracts},author={Yang, Shuo and Li, Huizhong and Zheng, Zibin},booktitle={International Conference on Blockchain and Trustworthy Systems (CCF-C)},year={2022},doi={10.1007/978-981-19-8043-5_23},}
