Zhonglin Ding

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 3

Top Topics

Security Analysis

Encryption Algorithm

Formal Analysis

Mutual Authentication

Top Venues

Publications

Zhonglin Ding, Wei Cao, Zheng Zhang, Zhikun Wang, Yi Zhang, Shuang Yang
Edge Computing Empowered Indoor Positioning: A Brief Introduction. WCSP (2021)
Zhonglin Ding, Yang Hu, Wei Luo, Zhongming Huang, Lei Zhang, Zhongyuan Qin
Security Analysis of Embedded SIM Remote Provisioning Protocol Using SPIN. ICCNS (2021)
Zhonglin Ding, Yang Hu, Wei Luo, Zhongming Huang, Jintao Xue, Zhongyuan Qin
Formal Analysis and Verification of Embedded SIM Session Key Agreement Protocol. EITCE (2021)