12 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.SE2020★ 3 cited
EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection
Yuhe Huang, Bo Jiang, W. K. Chan
EOSIO is one typical public blockchain platform. It is scalable in terms of transaction speeds and has a growing ecosystem supporting smart contracts and decentralized applications…
cs.SE2020★ 12 cited
WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection
Dong Wang, Bo Jiang, W. K. Chan
Many popular blockchain platforms are supporting smart contracts for building decentralized applications. However, the vulnerabilities within smart contracts have led to serious fi…