The following publications are possibly variants of this publication:
- WASAI: uncovering vulnerabilities in Wasm smart contractsWeimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, Lei Wu. ISSTA 2022: 703-715 [doi]
- WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability DetectionBo Jiang 0001, Yifei Chen, Dong Wang, Imran Ashraf, W. K. Chan 0001. qrs 2021: 926-937 [doi]
- Poster: A Privacy-Preserving Smart Contract Vulnerability Detection Framework for Permissioned BlockchainWensheng Tian, Lei Zhang, Shuangxi Chen, Hu Wang, Xiao Luo. ccs 2023: 3630-3632 [doi]
- Seraph: enabling cross-platform security analysis for EVM and WASM smart contractsZhiqiang Yang, Han Liu, Yue Li, Huixuan Zheng, Lei Wang, Bangdao Chen. ICSE 2020: 21-24 [doi]
- Smart Contract Vulnerabilities: Vulnerable Does Not Imply ExploitedDaniel Perez 0001, Benjamin Livshits. uss 2021: 1325-1341 [doi]
- Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer LearningChristoph Sendner, Huili Chen, Hossein Fereidooni, Lukas Petzi, Jan König, Jasper Stang, Alexandra Dmitrienko, Ahmad-Reza Sadeghi, Farinaz Koushanfar. ndss 2023: [doi]