The Overview of SPIN in Software Model Checking. - Yaning Zheng; Kaiqi Ru; Xuewei Feng; Dongxia Wang 001 (DSC, 2021)

The Side-Channel Vulnerability in Network Protocol. - Kaiqi Ru; Yaning Zheng; Xuewei Feng; Dongxia Wang 001 (ICCNS, 2021)

A Study on Vulnerability Code Labeling Method in Open-Source C Programs. - Yaning Zheng; Dongxia Wang 001; Huayang Cao; Cheng Qian; Xiaohui Kuang; Honglin Zhuang (DEXA (1), 2023)