01
Agentic Security
Building and evaluating autonomous agents for realistic, long-horizon security engineering workflows.
Research Ledger · 2026
PhD Student in Computer Science · UIUC
I build and evaluate AI agents for cybersecurity.
01 / Inquiry
01
Building and evaluating autonomous agents for realistic, long-horizon security engineering workflows.
02
Designing reproducible systems that connect models, program analysis, and dynamic execution evidence.
03
Discovering and validating vulnerabilities in production software, from services to operating-system kernels.
02 / Notes
SEC-bench Pro, our benchmark for long-horizon software security tasks, is now available on arXiv.
Agentic Vulnerability Reasoning on COTS Binaries is now available on arXiv.
Recognized as a Microsoft Most Valuable Security Researcher for 2026 Q1.
03 / Record
A benchmark of 344 validated vulnerabilities across browser engines and the Linux kernel, designed to measure realistic agent bug hunting.
An end-to-end study of autonomous vulnerability discovery and debugger-verified validation on commercial Windows binaries.
A fully automated framework for constructing and evaluating authentic proof-of-concept generation and vulnerability patching tasks.
A practical, automated crash-diagnosis system that uses under-constrained state mutation to rank root causes efficiently.