Jingjing Zhang

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 7

Top Topics

Authentication Protocol

Formal Analysis

Symbolic Model Checking

Top Venues

CSCloud/EdgeCom

Secur. Commun. Networks

Publications

Jingjing Zhang, Lin Yang, Xianming Gao, Gaigai Tang, Jiyong Zhang, Qiang Wang
Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. IEEE Access 9 (2021)
Jingjing Zhang, Xianming Gao, Lin Yang, Tao Feng, Dongyang Li, Qiang Wang
A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. Secur. Commun. Networks 2021 (2021)
Zhongwu Xie, Weipeng Cao, Xizhao Wang, Zhong Ming, Jingjing Zhang, Jiyong Zhang
A Biologically Inspired Feature Enhancement Framework for Zero-Shot Learning. CoRR (2020)
Jingjing Zhang, Lin Yang, Weipeng Cao, Qiang Wang
Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif. IEEE Access 8 (2020)
Zhongwu Xie, Weipeng Cao, Xizhao Wang, Zhong Ming, Jingjing Zhang, Jiyong Zhang
A Biologically Inspired Feature Enhancement Framework for Zero-Shot Learning. CSCloud/EdgeCom (2020)
Jingjing Zhang, Lin Yang, Xianming Gao, Qiang Wang
Formal analysis of QUIC handshake protocol using ProVerif. CSCloud/EdgeCom (2020)
Jingjing Zhang, Qiang Wang, Lin Yang, Tao Feng
Formal Verification of 5G-EAP-TLS Authentication Protocol. DSC (2019)