12 citations · 15 across the 2 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
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…
cs.SE2018
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection
Bo Jiang, Ye Liu, W. K. Chan
Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the b…