WASAI: uncovering vulnerabilities in Wasm smart contracts.

Weimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, Lei Wu

Browse the full ISSTA paper archive.