All Stories

  1. Hyperion: Unveiling DApp Inconsistencies Using LLM and Dataflow-Guided Symbolic Execution

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Shuo Yang

  2. FunFuzz: A Function-oriented Fuzzer for Smart Contract Vulnerability Detection with High Effectiveness and Efficiency

    Article • ACM Transactions on Software Engineering and Methodology, June 2024, ACM (Association for Computing Machinery)

    Shuo Yang, Yuhong Nan

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

    Article • April 2024, ACM (Association for Computing Machinery)

    Shuo Yang

  4. Definition and Detection of Defects in NFT Smart Contracts

    Article • July 2023, ACM (Association for Computing Machinery)

    Shuo Yang