​主要从事软件漏洞挖掘相关技术研究，重点关注协议软件、设备固件、云服务中漏洞的机理剖析、动静态智能挖掘与利用技术研究，以及智能挖掘引擎研制。作为项目或课题负责人，先后主持国家重点研发计划等国家部委、军队预研课题及企业横向合作项目10余项，成果获得省部级科技进步二等奖。

在国内外期刊及会议上发表论文30余篇，包括ASE、ICSE、S&P、TSE等顶级会议及期刊，成果获得CCF A类会议最佳论文奖，持有授权专利20余项。迄今为止，培养硕士毕业生10名（含转博2名），协助培养博士、硕士毕业生10余名。

团队持续招收网络空间安全、计算机专业方向，对软件安全分析与漏洞挖掘利用技术感兴趣的硕士及博士生，欢迎邮件联系。

   

083900-网络空间安全

软件安全理论与分析技术，网络攻防技术，网络攻防智能化技术

   

2025-10~现在, 中国科学院信息工程研究所, 研究员
2017-07~2025-09,中国科学院信息工程研究所, 副研究员
2013-01~2017-07,中国科学院计算技术研究所, 助理研究员

（ 1） 基于规范推导的自动化污点识别和协议测试套自动化评估, 项目负责人, 2022-12--2023-12

（ 2 ） 静态应用安全测试技术, 项目负责人, 2022-08--2023-08

（ 3 ） 网络协议研究, 课题负责人, 2019-10--2022-10

（ 4 ） 二进制分析工具研究, 课题负责人, 2019-07--2022-06

（ 5 ） 漏洞相关数据集中的知识发现及在漏洞检测中的应用, 课题负责人, 2019-01--2022-12

   

（1） Understanding Resource Injection Vulnerabilities in Kubernetes Ecosystems, IEEE/ACM International Conference on Automated Software Engineering (ASE), 2025, 第 3 作者  通讯作者
（2） Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware, International Conference on Software Engineering (ICSE), 2024, 第 3 作者  通讯作者
（3） 一种基于无害处理识别的嵌入式设备漏洞检测方法, A Vulnerability Detecting Approach Based on Sanitizer Identification for Embedded Devices, 信息安全研究, 2023, 第 2 作者
（4） EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations, International Symposium on Research in Attacks, Intrusions and Defenses (RAID）, 2023, 第 2 作者  通讯作者
（5） SiCsFuzzer：基于稀疏插桩的闭源软件模糊测试方法, SiCsFuzzer:A Sparse-instrumentation-based Fuzzing Platform for Closed Source Software, 信息安全学报, 2022, 第 2 作者  通讯作者
（6） RIBDetector: an RFC-guided Inconsistency Bug Detecting Approach for Protocol Implementations., IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2022, 第 2 作者  通讯作者
（7） VERJava: Vulnerable Version Identification for Java OSS with a Two-Stage Analysis, 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2022, 第 4 作者
（8） A Sanitizer-centric Analysis to Detect Cross-Site Scripting in PHP Programs, 2022 IEEE International Symposium on Software Reliability Engineering (ISSRE), 2022, 第 4 作者
（9） 一种基于妨碍特征的模糊测试工具测评方法, 信息安全学报, 2021, 第 1 作者  通讯作者
（10） HiveAttacker：一个针对Hive数据仓库的两阶段安全性检测方案, 信息安全学报, 2021, 第 1 作者  通讯作者
（11） CloudRaid: Detecting Distributed Concurrency Bugs via Log-Mining and Enhancement, IEEE Transactions on Software Engineering, 2021, 第 2 作者  通讯作者
（12） 固件安全检测技术概述, 保密科学技术, 2021, 第 1 作者
（13） SoFi: Reflection-Augmented Fuzzing for JavaScript Engines, ACM SIGSAC Conference on Computer and Communications Security, 2021, 第 5 作者  通讯作者
（14） SiCsFuzzer：基于稀疏插桩的闭源软件模糊测试方法, 信息安全学报, 2020, 
（15） ELAID:detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysis, ELAID:detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysis, CYBERSECURITY, 2020, 第 3 作者
（16） MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures, 29th USENIX Security Symposium (CCF-A), 2020, 第 6 作者
（17） A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lessons Learned, 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE, CCF-A), 2020, 第 5 作者
（18） Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver-Assisted Testing, The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, 2020, 第 3 作者  通讯作者
（19） 1dVul: Discovering 1-day Vulnerabilities through Binary Patches, 2019 49TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2019), 2019, 第 2 作者  通讯作者
（20） 分布式系统中的日志分析及应用, Log analysis for distributed systems and its application, 高技术通讯, 2019, 第 2 作者
（21） AgamottoEye:Recovering Request Flow for Cloud Systems via Log Analysis, AgamottoEye:Recovering Request Flow for Cloud Systems via Log Analysis, 计算机科学研究(英文), 2019, 第 2 作者
（22） Constructing Benchmarks for Supporting Explainable Evaluations of Static Application Security Testing Tools, 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), 2019, 第 2 作者  通讯作者
（23） CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining, ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, 第 2 作者
（24） RARE: An Efficient Static Fault Detection Framework for Definition-Use Faults in Large Programs, IEEE ACCESS, 2018, 第 4 作者
（25） A Light-weight and Accurate Method of Static Integer-Overflow-to-Buffer-Overflow Vulnerability Detection, The 14th International Conference on Information Security and Cryptology (Inscypt), 2018, 第 5 作者
（26） 一种面向数据仓库周期性查询的增量优化方法, Incremental Optimization Method for Periodic Query in Data Warehouse, 软件学报, 2017, 第 2 作者
（27） 污点分析技术的原理和实践应用, Principle and Practice of Taint Analysis, 软件学报, 2017, 第 2 作者
（28） Locating Software Faults Based on Minimum Debugging Frontier Set, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2017, 第 1 作者  通讯作者
（29） 一种场景敏感的高效错误检测方法, Efficient Scene-Sensitive Fault Detection Approach, 软件学报, 2014, 第 4 作者
（30） Effective Fault Localization Based on Minimum Debugging Frontier Set, PROCEEDINGS OF THE 2013 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2013, 第 1 作者  通讯作者
（31） 基于传播引擎的指针引用错误检测, A Propagation Engine Based Approach for Pointer Reference Fault Detection, 计算机学报, 2013, 第 3 作者
（32） 一种基于最小调试边界的断点自动生成技术, Automatic Breakpoint Generating Approach Based on Minimum Debugging Frontier Set, 软件学报, 2013, 第 1 作者
（33） 一种提高时序安全属性静态检测实用性的方法, A Precise and Scalable Static Checking Approach for Temporal Safety Property, 计算机学报, 2012, 第 2 作者
（34） Dependence-based Multi-level Tracing and Replay for Wireless Sensor Networks Debugging, ACM SIGPLAN NOTICES, 2011, 第 3 作者
（35） 面向无线传感器网络应用的自适应调试方法, An Adaptive Debugging Approach for Wireless Sensor Network Applications, 计算机学报, 2011, 第 1 作者
（36） A Switch Criterion for Hybrid Datasets Merging on Top of Map Reduce, 2009 EIGHTH INTERNATIONAL CONFERENCE ON GRID AND COOPERATIVE COMPUTING, PROCEEDINGS, 2009, 第 4 作者
（37） 实施SOA不能盲目, 中国计算机用户, 2008, 第 1 作者

已指导学生

李文超  硕士研究生  083900-网络空间安全  

徐明杰  硕士研究生  085211-计算机技术  

周怡  硕士研究生  083900-网络空间安全  

李平  硕士研究生  085412-网络与信息安全  

湛蓝蓝  硕士研究生  085412-网络与信息安全  

肖晶晶  硕士研究生  085412-网络与信息安全  

张宇航  硕士研究生  083900-网络空间安全  

张迪远  硕士研究生  085412-网络与信息安全  

现指导学生

易曾晓  硕士研究生  085412-网络与信息安全  

沈仕伟  硕士研究生  085412-网络与信息安全  

阿里、字节跳动、科研院所、部队、转博等