1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.CR2026
Formal Security Analysis of Agent Protocol Composition
Shenghan Zheng, Qifan Zhang, Zheng Zhang +2
AI agent protocols define how agents use tools, delegate work, and coordinate across software systems, but their security requirements remain incomplete and inconsistently enforced…
cs.LG2025
LLMBisect: Breaking Barriers in Bug Bisection with A Comparative Analysis Pipeline
Zheng Zhang, Haonan Li, Xingyu Li +2
Bug bisection has been an important security task that aims to understand the range of software versions impacted by a bug, i.e., identifying the commit that introduced the bug. Ho…
cs.SE2025★ 1 cited
The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs
Haonan Li, Hang Zhang, Kexin Pei +1
Static analysis plays a crucial role in software vulnerability detection, yet faces a persistent precision-scalability tradeoff. In large codebases like the Linux kernel, tradition…