An Efficient Remote User Authentication Scheme with Strong Anonymity. - Yanfei Liu; Ziming Zhao 001; Hui Li 070; Qun Luo; Yixian Yang (CW, 2008)

A Cloud-Based Distance Bounding Protocol for RFID Conforming to EPC-C1 G2 Standards. - Zhenjiang Dong; Xinluo Wang; Miao Lei; Wei Wang; Hui Li 070 (ChinaCom (2), 2017)

Security Analysis of the Qian et al. Protocol: A Revised Tree-LSHB+ Protocol. - Miao Lei; Hui Li 070; Wenlong Liu; Dongxun Jin (Wirel. Pers. Commun., 2017)

Secure Display for FIDO Transaction Confirmation. - Yongxian Zhang; Xinluo Wang; Ziming Zhao 001; Hui Li 070 (CODASPY, 2018)

Authenticator Rebinding Attack of the UAF Protocol on Mobile Devices. - Hui Li 070; Xuesong Pan; Xinluo Wang; Haonan Feng; Chengjie Shi (Wirel. Commun. Mob. Comput., 2020)

A Formal Analysis of the FIDO UAF Protocol. - Haonan Feng; Hui Li 070; Xuesong Pan; Ziming Zhao 001 (NDSS, 2021)

A Formal Analysis of the FIDO2 Protocols. - Jingjing Guan; Hui Li 070; Haisong Ye; Ziming Zhao 001 (ESORICS (3), 2022)

FIDO Gets Verified: A Formal Analysis of the Universal Authentication Framework Protocol. - Haonan Feng; Jingjing Guan; Hui Li 070; Xuesong Pan; Ziming Zhao 001 (IEEE Trans. Dependable Secur. Comput., 2023)

A Formal Analysis of Data Distribution Service Security. - Binghan Wang; Hui Li 070; Jingjing Guan (AsiaCCS, 2024)

Formal Analysis of WAPI Authentication and Key Agreement Protocol. - Zhongqi Lv; Hui Li 070; Haisong Ye; Chi Ma; Jingjing Guan (Inscrypt (2), 2024)

Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL. - Jingjing Guan; Hui Li 070; Xiangdong Li; Xiaolei Wang; Binghan Wang; Qiuye Wang; Shengchao Qin; Mengda He; Md. Armanuzzaman; Ziming Zhao 001 (INFOCOM, 2025)

PUF-Based Lightweight Group Authentication for Massive IoT Access With Insecure Channel. - Xiaoyi Zhang; Huici Wu; Xiaofeng Tao; Zhiqing Wei; Chenyu Wang 002; Hui Li 070 (IEEE Internet Things J., 2025)