EVulHunter: Detecting Fake Transfer Vulnerabilities for EOSIO's Smart Contracts at Webassembly-level. - Lijin Quan; Lei Wu 012; Haoyu Wang 001 (CoRR, 2019)