Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application. - Liangjun Deng; Hang Lei; Zheng Yang 007; Weizhong Qian; Xiaoyu Li; Hao Wu; Sihao Deng; Ruchao Sha; Weidong Deng (Comput. Syst. Sci. Eng., 2023)