WASDAM: Effectively Detecting Vulnerabilities in Wasm Smart Contracts Based on the Data Access Model.

Chu Chen, Xuan Wang, Pinghong Ren, Bin Yu, Jin Liu

Browse the full QRS paper archive.