团队成员

研究方向为 Linux 操作系统内核安全，重点关注内核漏洞的原语分析与自动化挖掘技术。在 eBPF 安全边界评估、LSM 细粒度访问控制等领域有系统性研究成果，相关方案已在大型集群环境中得到验证。多次通过负责任披露流程向 Linux 内核社区提交安全修复。

研究方向为系统安全评估方法与攻击模型构建，致力于建立可量化的安全测试评估体系。研究涵盖大规模基础设施的攻击面分析与威胁路径建模，相关成果应用于国家级网络安全测评项目。

研究方向为二进制程序分析与自动化漏洞挖掘技术。研究重点包括符号执行与污点分析在复杂程序中的工程化应用、操作系统内核驱动的安全性分析，以及虚拟化层安全边界的系统性评估方法。

研究方向为云原生环境下的基础设施安全，重点关注容器化与编排系统的安全架构设计、多租户隔离机制的缺陷分析，以及 DevSecOps 实践中安全策略的自动化验证方法。

研究方向为高级持续性威胁（APT）追踪分析与威胁情报方法学。研究涵盖攻击技战术的体系化建模、跨攻击事件的关联分析与攻击者画像构建，以及基于多源威胁情报的战略级态势感知技术。

研究方向为云原生应用安全与身份认证协议安全。研究重点包括微服务架构中的访问控制与隔离缺陷分析、现代身份认证协议的形式化安全性验证，以及云环境多租户隔离机制的脆弱性评估。

研究方向为嵌入式系统与物联网设备安全，重点关注固件层面的安全分析技术与协议安全性验证。在工业控制系统安全防护、硬件信任链完整性评估等领域开展系统性研究工作。