Shuo Yang

BlockWatchdog. Attacker Contract Identifier Through Static Dataflow Analysis

lydia. Lydia: Who's Your Enemy in the Dark Forrest

Hyperion. Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution

nftdefects. Definition and Detection of Defects in NFT Smart Contracts

WaLi. A control-flow-based analyzer of Wasm smart contracts.