Jingjing Zhang

Orcid: 0000-0002-9075-7810

Affiliations:

Army Engineering University of PLA, College of Command and Control Engineering, Nanjing, China

According to our database¹, Jingjing Zhang authored at least 6 papers between 2019 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2021

Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking.

[BibT_eX]

[DOI]

IEEE Access, 2021

2020

Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif.

[BibT_eX]

[DOI]

IEEE Access, 2020

A Biologically Inspired Feature Enhancement Framework for Zero-Shot Learning.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Cyber Security and Cloud Computing, 2020

Formal analysis of QUIC handshake protocol using ProVerif.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Cyber Security and Cloud Computing, 2020

2019

Formal Verification of 5G-EAP-TLS Authentication Protocol.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Data Science in Cyberspace, 2019

Jingjing Zhang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...