Yifei Chen

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

2021 · 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)

Many popular blockchain platforms support smart contracts for building decentralized applications. However, the vulnerabilities within smart contracts have demonstrated to lead to serious financial loss to their end users. In particular, the smart contracts on …