Login / Signup
Jingjing Zhang
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 7
Top Topics
Lightweight
Authentication Protocol
Formal Analysis
Symbolic Model Checking
Top Venues
CSCloud/EdgeCom
IEEE Access
CoRR
Secur. Commun. Networks
</>
Publications
</>