830 citations · 852 across the 5 of their papers we have counts for
Showing 2020Show 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.SE2020★ 1 cited
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
Xiaoxue Ma, Shangru Wu, Ernest Pobee +4
Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code…