Formal Verification of 5G-EAP-TLS Authentication Protocol. - Jingjing Zhang 005; Qiang Wang 020; Lin Yang; Tao Feng (DSC, 2019)

Formal analysis of QUIC handshake protocol using ProVerif. - Jingjing Zhang 005; Lin Yang; Xianming Gao; Qiang Wang 020 (CSCloud/EdgeCom, 2020)

A Biologically Inspired Feature Enhancement Framework for Zero-Shot Learning. - Zhongwu Xie; Weipeng Cao; Xizhao Wang; Zhong Ming 001; Jingjing Zhang 005; Jiyong Zhang (CSCloud/EdgeCom, 2020)

Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif. - Jingjing Zhang 005; Lin Yang; Weipeng Cao; Qiang Wang 020 (IEEE Access, 2020)

Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. - Jingjing Zhang 005; Lin Yang; Xianming Gao; Gaigai Tang; Jiyong Zhang; Qiang Wang 020 (IEEE Access, 2021)

A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. - Jingjing Zhang 005; Xianming Gao; Lin Yang; Tao Feng; Dongyang Li; Qiang Wang 020 (Secur. Commun. Networks, 2021)