I’m currently a second-year Ph.D. student at the School of Software Engineering, Sun Yat-sen University.

I am under the supervision of Prof. Zibin Zheng (郑子彬) and Dr. Jiachi Chen (陈嘉弛) at InPlusLab since Aug. 2021.

My research interests include software security and empirical study (especially for smart contracts), static analysis, and LLM. I have published 5 papers at the top (CCF-A) international Software Engineering/Security conferences/journals such as ICSE, ISSTA, TOSEM, TIFS.

🔥 News

  • 🌟 Smart contract audit and transaction trace platform XBlock Web3 Product is online
  • 2024.07:  🎉 One paper is accepted by ICSE 2025
  • 2024.05:  🎉 One paper is accepted by TOSEM
  • 2023.12:  🎉 One paper is accepted by TIFS
  • 2023.10:  🎉 I win the President Scholarship for Doctoral Students of SYSU
  • 2023.10:  🎉 One paper is accepted by ICSE 2024
  • 2023.08: I join LightYear Security Lab, AntGroup as a research intern in Hangzhou, China
  • 2023.04:  🎉 One paper is accepted by ISSTA 2023

👻 Confirmed Bugs/PoCs

📝 Publications

ICSE 2025
sym

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution (Accepeted by ICSE 2025 Early Cycle!)

Shuo Yang, Xingwei Lin, Jiachi Chen, Qingyuan Zhong, Lei Xiao, Renke Huang, Yanlin Wang, Zibin Zheng

Project

  • HyperionGitHub forks is the first work that unveils 7 types of inconsistencies between DApp frontend description and backend smart contracts
  • Combined techniques with LLM and program analysis
  • Contract IR-based symbolic execution guided by preliminary dataflow analysis
ICSE 2024
sym

Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts

Shuo Yang, Jiachi Chen, Mingyuan Huang, Zibin Zheng, Yuan Huang

Project

  • BlockWatchdogGitHub forks is the first work to identify reentrancy attacker contracts based on static dataflow analysis
  • We provide the rust implementation Lydia (>10% faster)GitHub forks
ISSTA 2023
sym

Definition and Detection of Defects in NFT Smart Contracts

Shuo Yang, Jiachi Chen, Zibin Zheng

Project

  • NFTGuardGitHub forks is the first work to define and detect the 5 defects in NFT smart contracts

🎖 Honors and Awards

  • 2023.10 President Scholarship for Doctoral Students
  • 2023.09 1st prize of China Service Computing Innovation Contest
  • 2023.04 8th Place at Numen Cyper CTF (Capture-The-Flag)
  • 2021.06 3rd Prize of Competition of Service Outsourcing and Entrepreneurship Innovation
  • 2021.05 3rd Prize of Chinese Undergraduate Internet Software Design Competition
  • 2020.06 3rd Prize of Competition of Service Outsourcing and Entrepreneurship Innovation
  • 2019.08 2nd Prize of Chinese Undergraduate Computer Design Contest

📖 Educations

  • 2022.09 - now, Phd, Sun Yat-sen University, Zhuhai.
  • 2018.09 - 2022.06, Undergraduate, Zhongnan University of Economics and Law, Wuhan.
  • 2015.09 - 2018.06, Hubei Wuchang Experimental High School, Wuhan.

💬 Invited Talks

  • 2024.08, ICSE’25 accepted papers symposium held by CCF Software Engineering Committee, Virtual
  • 2024.04, ICSE 2024 oral presentation, Lisbon, Portugal
  • 2024.02, ICSE’24 accepted papers symposium held by CCF Software Engineering Committee, Virtual
  • 2023.07, ISSTA 2023 oral presentation, Seattle, USA

💻 Internships

🔧 Skills

  • English: IELTS 7.0, GRE 321+4.0, CET6 566, CET4 626
  • Programming Language: Python, Java, Solidity, Rust, C/C++, JavaScript