Hui Li

13 papers A* 3A 1C 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A* conf
5G-RNAKA : A Random Number-based Authentication and Key Agreement Protocol for 5G Systems.
CCS
Hui Li, Haotian Li, Chi Ma, Jingjing Guan, Junchi Zeng, Haonan Feng, Ziming Zhao
2025 A* conf
Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL.
INFOCOM
Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao
2025 J jnl
PUF-Based Lightweight Group Authentication for Massive IoT Access With Insecure Channel.
IEEE Internet Things J.
Xiaoyi Zhang, Huici Wu, Xiaofeng Tao, Zhiqing Wei, Chenyu Wang, Hui Li
2024 A conf
A Formal Analysis of Data Distribution Service Security.
AsiaCCS
Binghan Wang, Hui Li, Jingjing Guan
2024 — conf
Formal Analysis of WAPI Authentication and Key Agreement Protocol.
Inscrypt (2)
Zhongqi Lv, Hui Li, Haisong Ye, Chi Ma, Jingjing Guan
2023 J jnl
FIDO Gets Verified: A Formal Analysis of the Universal Authentication Framework Protocol.
IEEE Trans. Dependable Secur. Comput.
Haonan Feng, Jingjing Guan, Hui Li, Xuesong Pan, Ziming Zhao
2022 — conf
A Formal Analysis of the FIDO2 Protocols.
ESORICS (3)
Jingjing Guan, Hui Li, Haisong Ye, Ziming Zhao
2021 A* conf
A Formal Analysis of the FIDO UAF Protocol.
NDSS
Haonan Feng, Hui Li, Xuesong Pan, Ziming Zhao
2020 J jnl
Authenticator Rebinding Attack of the UAF Protocol on Mobile Devices.
Wirel. Commun. Mob. Comput.
Hui Li, Xuesong Pan, Xinluo Wang, Haonan Feng, Chengjie Shi
2018 — conf
Secure Display for FIDO Transaction Confirmation.
CODASPY
Yongxian Zhang, Xinluo Wang, Ziming Zhao, Hui Li
2017 — conf
A Cloud-Based Distance Bounding Protocol for RFID Conforming to EPC-C1 G2 Standards.
ChinaCom (2)
Zhenjiang Dong, Xinluo Wang, Miao Lei, Wei Wang, Hui Li
2017 J jnl
Security Analysis of the Qian et al. Protocol: A Revised Tree-LSHB+ Protocol.
Wirel. Pers. Commun.
Miao Lei, Hui Li, Wenlong Liu, Dongxun Jin
2008 C conf
An Efficient Remote User Authentication Scheme with Strong Anonymity.
CW
Yanfei Liu, Ziming Zhao, Hui Li, Qun Luo, Yixian Yang