模糊测试与漏洞检测
研究定向灰盒模糊测试、混合模糊测试、分布式模糊测试和漏洞可达性分析,提升复杂程序中深层漏洞的发现效率。
国防科技大学计算机学院
副研究员 · 硕士生导师
软件安全智能并行分析湖南省重点实验室 副主任
王鹏飞,国防科技大学计算机学院副研究员、硕士生导师,CCF高级会员。主要研究方向为系统安全、程序分析、漏洞检测、模糊测试与人工智能安全,重点关注操作系统内核、二进制程序、IoT固件、硬件辅助安全分析及大模型安全。
入选湖南省湖湘青年英才、军队青年人才和学校卓越青年人才,博士学位论文获评湖南省优秀博士学位论文。主持国家自然科学基金青年项目、面上项目及军队项目多项。
在NDSS、USENIX Security、ASE、IEEE TSE、IEEE TIFS、IEEE TCAD、ACM TOSEM等高水平会议和期刊发表论文。获国防科技大学青年创新奖、湖南省科技进步二等奖(排名1)、军事科技进步二等奖(排名7)等荣誉。
作为论坛召集人承办第八届网络空间安全创新“纵横”论坛“固件仿真与安全性分析”分论坛,论文《智能体安全威胁及发展趋势分析》获论坛激励计划论文。
赴开罗参加ICEENG-IICC 2026智能计算和网络空间安全创新学术会议并作论文宣讲。
论文“PortRush: Detect Write Port Contention Side-Channel Vulnerabilities via Hardware Fuzzing”发表于NDSS 2026(CCF A)。
论文“Not All Paths Are Equal: Multi-path Optimization for Directed Hybrid Fuzzing”发表于ACM TOSEM(CCF A)。
研究定向灰盒模糊测试、混合模糊测试、分布式模糊测试和漏洞可达性分析,提升复杂程序中深层漏洞的发现效率。
面向操作系统内核、闭源二进制和IoT固件,研究静态/动态程序分析、二进制代码搜索和跨架构漏洞检测。
研究控制流完整性、硬件辅助安全、内核漏洞验证与运行时防护机制。
研究大模型智能体漏洞验证、安全防护、推理过程安全及人工智能系统攻击面分析。