External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application

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]

Authors

Liangjun Deng

This author has not been identified. Look up 'Liangjun Deng' in Google

Hang Lei

This author has not been identified. Look up 'Hang Lei' in Google

Zheng Yang 0007

This author has not been identified. Look up 'Zheng Yang 0007' in Google

Weizhong Qian

This author has not been identified. Look up 'Weizhong Qian' in Google

Xiaoyu Li

This author has not been identified. Look up 'Xiaoyu Li' in Google

Hao Wu

This author has not been identified. Look up 'Hao Wu' in Google

Sihao Deng

This author has not been identified. Look up 'Sihao Deng' in Google

Ruchao Sha

This author has not been identified. Look up 'Ruchao Sha' in Google

Weidong Deng

This author has not been identified. Look up 'Weidong Deng' in Google
runs on