most citedWANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection

12 citations · 12 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2020★ 12 cited

WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection

Dong Wang, Bo Jiang, W. K. Chan

Many popular blockchain platforms are supporting smart contracts for building decentralized applications. However, the vulnerabilities within smart contracts have led to serious fi…