Liangjun Deng, Hang Lei, Zheng Yang 0007, Weizhong Qian, Xiaoyu Li, Hao Wu, Sihao Deng, Ruchao Sha, Weidong Deng. Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application. Comput. Syst. Sci. Eng., 45(2):2155-2170, 2023. [doi]
Abstract is missing.