Shuo Yang

15 papers A* 2A 2Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Hyperion: Unveiling DApp Inconsistencies Using LLM and Dataflow-Guided Symbolic Execution.
ICSE
Shuo Yang, Xingwei Lin, Jiachi Chen, Qingyuan Zhong, Lei Xiao, Renke Huang, Yanlin Wang, Zibin Zheng
2025 J jnl
NumScout: Unveiling Numerical Defects in Smart Contracts Using LLM-Pruning Symbolic Execution.
IEEE Trans. Software Eng.
Jiachi Chen, Zhenzhe Shao, Shuo Yang, Yiming Shen, Yanlin Wang, Ting Chen, Zhenyu Shan, Zibin Zheng
2025 J jnl
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution.
CoRR
Jiachi Chen, Zhenzhe Shao, Shuo Yang, Yiming Shen, Yanlin Wang, Ting Chen, Zhenyu Shan, Zibin Zheng
2025 A conf
WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts.
SANER
Lei Xiao, Shuo Yang, Wen Chen, Zibin Zheng
2025 J jnl
WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts.
CoRR
Lei Xiao, Shuo Yang, Wen Chen, Zibin Zheng
2025 J jnl
Who Is Pulling the Strings: Unveiling Smart Contract State Manipulation Attacks Through State-Aware Dataflow Analysis.
IEEE Trans. Software Eng.
Shuo Yang, Jiachi Chen, Lei Xiao, Jinyuan Hu, Dan Lin, Jiajing Wu, Tao Zhang, Zibin Zheng
2024 J jnl
FunFuzz: A Function-Oriented Fuzzer for Smart Contract Vulnerability Detection with High Effectiveness and Efficiency.
ACM Trans. Softw. Eng. Methodol.
Mingxi Ye, Yuhong Nan, Hong-Ning Dai, Shuo Yang, Xiapu Luo, Zibin Zheng
2024 J jnl
Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution.
CoRR
Shuo Yang, Xingwei Lin, Jiachi Chen, Qingyuan Zhong, Lei Xiao, Renke Huang, Yanlin Wang, Zibin Zheng
2024 J jnl
Toward Understanding Asset Flows in Crypto Money Laundering Through the Lenses of Ethereum Heists.
IEEE Trans. Inf. Forensics Secur.
Jiajing Wu, Dan Lin, Qishuang Fu, Shuo Yang, Ting Chen, Zibin Zheng, Bowen Song
2024 A* conf
Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts.
ICSE
Shuo Yang, Jiachi Chen, Mingyuan Huang, Zibin Zheng, Yuan Huang
2024 J jnl
Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts.
CoRR
Shuo Yang, Jiachi Chen, Mingyuan Huang, Zibin Zheng, Yuan Huang
2023 A conf
Definition and Detection of Defects in NFT Smart Contracts.
ISSTA
Shuo Yang, Jiachi Chen, Zibin Zheng
2023 J jnl
Definition and Detection of Defects in NFT Smart Contracts.
CoRR
Shuo Yang, Jiachi Chen, Zibin Zheng
2023 J jnl
Towards Understanding Crypto Money Laundering in Web3 Through the Lenses of Ethereum Heists.
CoRR
Dan Lin, Jiajing Wu, Qishuang Fu, Yunmei Yu, Kaixin Lin, Zibin Zheng, Shuo Yang
2022 — conf
WaLi: Control-Flow-Based Analysis of Wasm Smart Contracts.
BlockSys
Shuo Yang, Huizhong Li, Zibin Zheng