Shanghai

Shuo Yang

Expert
@shuo-young

Web3 & Software Developer

BlockWatchdog. Attacker Contract Identifier Through Static Dataflow Analysis

26

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

14

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

11

nftdefects. Definition and Detection of Defects in NFT Smart Contracts

2

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

1
5
Apply