Yaning Zheng

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Pspace Complete

Regression Analysis

Top Venues

Publications

Yaning Zheng, Dongxia Wang, Huayang Cao, Cheng Qian, Xiaohui Kuang, Honglin Zhuang
A Study on Vulnerability Code Labeling Method in Open-Source C Programs. DEXA (1) (2023)
Kaiqi Ru, Yaning Zheng, Xuewei Feng, Dongxia Wang
The Side-Channel Vulnerability in Network Protocol. ICCNS (2021)
Yaning Zheng, Kaiqi Ru, Xuewei Feng, Dongxia Wang
The Overview of SPIN in Software Model Checking. DSC (2021)