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.
