Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking

by Jingjing Zhang, Lin Yang, Xianming Gao, Gaigai Tang, Jiyong Zhang, Qiang Wang
Published 2021-01-01

An Automatic Source Code Vulnerability Detection Approach Based on KELM

by Gaigai Tang, Lin Yang, Shuangyin Ren, Lianxiao Meng, Feng Yang, Huiqiang Wang
Published 2021-01-01

An Approach of Linear Regression-Based UAV GPS Spoofing Detection

by Lianxiao Meng, Lin Yang, Shuangyin Ren, Gaigai Tang, Long Zhang, Feng Yang, Wu Yang
Published 2021-01-01