工作单位/Current Affiliation
- 中国科学院软件研究所可信计算与信息保障实验室副研究员
- 密码与网络空间安全（黄埔）研究院技术总工程师
研究方向/Research Interests
- 系统与软件安全
- 密码实现安全
- 抗量子密码迁移
学术服务/Academic Service
- 中国计算机学会网络与空间安全专委会与软件工程专委会执行委员
- 中国网络空间安全学会制度建设工作委员会委员
- 《Computers & Security》、《计算机学报》、《信息安全学报》、《信息网络安全》审稿人
- 国家自然科学基金和国家重点研发计划专家库成员
在研项目/Ongoing Projects
模糊测试
包括通用模糊测试的改进技术，以及特定对象的模糊测试技术。最新工作包括：
- Psyzkaller: Learning from Historical and On-the-Fly Execution Data for Smarter Seed Generation in OS kernel Fuzzing, to appear at DSN2026
项目支持
- 国家自然科学基金面上项目，统一智能内核模糊测试技术研究，62072448
- 国家自然科学基金面上项目，基于智能模糊测试的深度漏洞挖掘技术研究，61772506（主持）
- 国家重点研发计划，软件与系统漏洞分析与可利用判定技术研究，2017YFB0802900
- 国家242信息安全计划，基于源代码的深度安全测试和漏洞挖掘研究，2016A086（主持）
密码算法实现安全的验证与测试
项目支持
- 国家科技重大专项，抗量子公钥密码关键技术研究与验证
系统抗量子脆弱性评估
包括密码算法的识别、密码算法误用检测与修复、系统脆弱性评估等。最新成果包括：
项目支持
- 北京市科技计划项目量子信息产业培育专项，Z251100000425005
- 国家密码科学基金面上项目，融合人工智能技术的密码API误用检测与修复技术研究，2025NCSF020213（主持）