约翰斯·霍普金斯大学 — 计算机科学博士（预计 2027 年 12 月毕业）
2023.01—至今
PHP 漏洞静态分析器（CoBrA）
2023.05—2025.03
第一作者，ICSE 2026 · 约翰斯·霍普金斯大学 SecLab
- 设计并实现 PHP 静态分析器，在 19 个应用中发现 54 个此前未知的漏洞，其中 9 个获分配 CVE 编号。
Yichao Xu
美国 · 巴尔的摩|443-839-0004|yxu166@jhu.edu
研究简介
约翰斯·霍普金斯大学计算机科学博士候选人，研究通过程序分析和模糊测试发现软件漏洞，同时探索智能体辅助安全分析的方法及智能体系统自身的安全风险。
教育经历
约翰斯·霍普金斯大学 — 安全信息学硕士
2021.09—2022.12
伦敦大学学院 — 软件系统工程硕士（Distinction）
2019.09—2020.10
代表性论文
ICSE 2026（第一作者）。 CoBrA: Context-, Branch-sensitive Static Analysis for Detecting Taint-style Vulnerabilities in PHP Web Applications.
IEEE S&P 2023（第二作者）。 Scaling JavaScript Abstract Interpretation to Detect and Exploit Node.js Taint-style Vulnerability.
专业技能
程序分析： 静态分析、污点分析、抽象解释、代码属性图、模糊测试。
编程语言： Python, Kotlin, C++, JavaScript, PHP, Scala, Rust.
工具： Joern, Semgrep, LibFuzzer, Docker, AWS Bedrock.
代表性研究
面向 npm 软件包的 JavaScript 漏洞分析（FAST）
2021.05—2022.11
第二作者，IEEE S&P 2023 · 约翰斯·霍普金斯大学 SecLab
- 实现 JavaScript 抽象解释并主导实验评估；该 Node.js 分析器在 npm 软件包中发现 242 个此前未知的漏洞。
研究与实践经历
核心工程师 · Jay-I-break team（JHU）
2026.02—至今
2026 Amazon Nova AI Challenge · 竞赛项目
- 维护 8 条用于软件漏洞发现的智能体分析流水线，开发 1 条黑盒分析流水线和 2 条动态分析流水线。
研究助理 · 约翰斯·霍普金斯大学 SecLab
2021.09—至今
研究助理实习生 · 中国工业互联网研究院
2020.12—2021.03
- 基于 Hyperledger Fabric 设计产品溯源框架，为业务敏感记录设置访问控制。
开源软件
Joern（Scala）。 贡献 PHP 版本检查修复、五类安全查询及回归测试。 PR #5327 已合并。
Harvest Claude（Rust）。 开发终端仪表盘，以农场动画角色展示 Claude Code 会话状态。