WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection.

Bo Jiang, Yifei Chen, Dong Wang, Imran Ashraf, W. K. Chan

Browse the full QRS paper archive.