Hui Li

According to our database, Hui Li authored at least 12 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

PUF-Based Lightweight Group Authentication for Massive IoT Access With Insecure Channel.

Xiaoyi Zhang, Huici Wu, Xiaofeng Tao, Zhiqing Wei, Chenyu Wang, Hui Li

IEEE Internet Things J., July, 2025

Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL.

Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao

Proceedings of the IEEE INFOCOM 2025, 2025

2024

Formal Analysis of WAPI Authentication and Key Agreement Protocol.

Zhongqi Lv, Hui Li, Haisong Ye, Chi Ma, Jingjing Guan

Proceedings of the Information Security and Cryptology - 20th International Conference, 2024

A Formal Analysis of Data Distribution Service Security.

Binghan Wang, Hui Li, Jingjing Guan

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

2023

FIDO Gets Verified: A Formal Analysis of the Universal Authentication Framework Protocol.

Haonan Feng, Jingjing Guan, Hui Li, Xuesong Pan, Ziming Zhao

IEEE Trans. Dependable Secur. Comput., 2023

2022

A Formal Analysis of the FIDO2 Protocols.

Jingjing Guan, Hui Li, Haisong Ye, Ziming Zhao

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

A Formal Analysis of the FIDO UAF Protocol.

Haonan Feng, Hui Li, Xuesong Pan, Ziming Zhao

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

Authenticator Rebinding Attack of the UAF Protocol on Mobile Devices.

Hui Li, Xuesong Pan, Xinluo Wang, Haonan Feng, Chengjie Shi

Wirel. Commun. Mob. Comput., 2020

2018

Secure Display for FIDO Transaction Confirmation.

Yongxian Zhang, Xinluo Wang, Ziming Zhao, Hui Li

Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 2018

2017

Security Analysis of the Qian et al. Protocol: A Revised Tree-LSHB+ Protocol.

Miao Lei, Hui Li, Wenlong Liu, Dongxun Jin

Wirel. Pers. Commun., 2017

A Cloud-Based Distance Bounding Protocol for RFID Conforming to EPC-C1 G2 Standards.

Zhenjiang Dong, Xinluo Wang, Miao Lei, Wei Wang, Hui Li

Proceedings of the Communications and Networking, 2017

2008

An Efficient Remote User Authentication Scheme with Strong Anonymity.

Yanfei Liu, Ziming Zhao, Hui Li, Qun Luo, Yixian Yang

Proceedings of the International Conference on Cyberworlds 2008, 2008