WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection[C] 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021) 2021 Jiang, Bo Chen, Yifei Wang, Dong Ashraf, Imran Chan, W. K.
GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities[J] IEEE ACCESS 2020(8) Ashraf, Imran Ma, Xiaoxue Jiang, Bo Chan, W. K.
Fuse: An Architecture for Smart Contract Fuzz Testing Service[C] 2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018) 2018 Chan, W. K. Jiang, Bo
