Mengcheng Ju

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Security Analysis

Authentication Protocol

Top Venues

J. Cloud Comput.

Publications

Jiaxing Guo, Dongliang Zhao, Chunxiang Gu, Xi Chen, Xieli Zhang, Mengcheng Ju
An enhanced state-aware model learning approach for security analysis in lightweight protocol implementations. J. Cloud Comput. 13 (1) (2024)