The following publications are possibly variants of this publication:
- VM Matters: A Comparison of WASM VMs and EVMs in the Performance of Blockchain Smart ContractsYixuan Zhang, Shuyu Zheng, Haoyu Wang 0001, Lei Wu 0012, Gang Huang 0001, Xuanzhe Liu. tompecs, 9(2), June 2024. [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]
- Poster: Uncovering Vulnerabilities in Wasm Smart ContractsWeimin Chen, Zihan Sun, Haoyu Wang 0001, Xiapu Luo, Haipeng Cai, Lei Wu 0012. icdcs 2023: 1073-1074 [doi]
- 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]
- WaLi: Control-Flow-Based Analysis of Wasm Smart ContractsShuo Yang, Huizhong Li, Zibin Zheng. blocksys 2022: 322-335 [doi]