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.
