性别

女

职务

学术兼职

中国计算机学会（CCF）高级会员，CCF形式化方法专委通讯委员，CCF计算机安全专委会/信息保密专委会委员，密码学会会员。

老师类型

硕导/博导

所属中心

软件安全中心

职称

教授

承担课程

无线通信安全(本科课程、北邮高新课，北邮华为共建课程)

无线移动通信安全技术(研究生课程、北邮华为共建课程、产教融合前沿课程)

研究方向

安全协议、形式化方法、无线通信安全、移动终端安全、密码应用技术

个人介绍

2005年在北京邮电大学获得博士学位后，留校任教，2015年-2016年曾在美国亚利桑那州立大学计算机学院进行访学。主持国自然面上项目、国自然海外联合基金（国内负责人）、国家重大专项课题、重点研发计划子课题、CCF华为胡杨林形式化基金项目、中兴产学研课题、SONY公司探索类项目等多项国家级和校企合作科研项目。依托这些项目，在安全协议设计与分析、移动通信安全和移动终端安全等领域开展了广泛研究，采用形式化方法分析了5G认证与密钥协商5G-AKA、快速在线认证FIDO、局域网安全WAPI、数据分发服务DDS及第三方支付等协议的安全性，发现了多个协议安全漏洞及缺陷，提出了多个安全性增强协议，相关成果发表在网络空间安全领域顶级会议NDSS 2021(CCF A)、顶级期刊TDSC2023(CCF A)、通信领域顶级会议INFOCOM(CCF A)、重要会议ESORICS2022(CCF B)、重要会议AsiaCCS2024(CCF C)及国内重要期刊密码学报2021上，申请了15项国家发明专利和2项国际发明专利。设计和研发的“集群通信安全仿真系统”已经被装配到全国20多个省100多个市的公安部门，为全国警用终端提供24小时不间断的认证服务。出版了3部教材，指导学生获得第四届全国密码技术竞赛特等奖。

承担课题

承担国家重大专项课题、重点研发计划子课题、国家自然科学基金海外联合基金、华为-胡杨林基金形式化专项以及企业合作等多个项目。

获奖和成果

编写教材《无线通信安全》、《对称密码学及其应用》和《无线通信安全理论与技术》，已经由北京邮电大学出版社出版；作为课题负责人与多家公司、研究所等合作开发多个与通信安全和移动终端安全相关的实际应用或系统；获得多项专利和软件著作权；指导学生获得密码应用技术大赛特等奖、校级优秀学士论文奖和优秀硕士论文奖等。

发表论文

在信息安全领域国内外学术会议及期刊NDSS、TDSC、ESORICS、CODASPY发表多篇论文。代表性论文有：

[1] Guan J J, Li H, Li X D, Wang X L, et al. Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL[C]. IEEE International Conference on Computer Communications (INFOCOM 2025). To be appeared.

[2] Wang B H, Li H, Guan J J. A Formal Analysis of Data Distribution Service Security[C]. Proceedings of the 19th ACM Asia Conference on Computer and Communications Security (ASIA CCS 2024)

[3] Feng H N, Guan J J, Li H, et al. FIDO Gets Verified: A Formal Analysis of the Universal Authentication Framework Protocol[J]. IEEE Transactions on Dependable and Secure Computing(TDSC), vol.20, no.5, pp.4291-4310, 1 Sept.-Oct. 2023.

[4] Guan J J, Li H, Ye H S, et al. A Formal Analysis of the FIDO2 Protocols[C]. European Symposium on Research in Computer Security (ESORICS 2022)

[5] Feng H N, Li H, Pan X S, et al. A Formal Analysis of the FIDO UAF Protocol[C]. Network and Distributed System Security Symposium (NDSS 2021). 2021.

[6] Li H, Pan X S, Wang X L, et al. Authenticator Rebinding Attack of the UAF Protocol on Mobile Devices[J]. Wireless Communications and Mobile Computing, 2020, 2020:1-14.

工作地点

沙河校区网络空间安全学院大楼207房间

Email

lihuill@bupt.edu.cn

备注