Hai Dong

Detecting Vulnerabilities in EOSIO Smart Contracts via Joint Static and Dynamic Feature Learning

This paper addresses the security challenges of EOSIO smart contracts, which are deployed in WebAssembly bytecode, frequently targeted by attacks, and inherently difficult to analyze. Existing approaches typically suffer limitations that either rely on symbolic execution with han...