830 citations · 852 across the 5 of their papers we have counts for
5 papers
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…
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…
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…
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…
To What Extent Is Stress Testing of Android TV Applications Automated in Industrial Environments?
Bo Jiang, Peng Chen, W. K. Chan +1
An Android-based smart Television (TV) must reliably run its applications in an embedded program environment under diverse hardware resource conditions. Owing to the diverse hardwa…