1 citations · 1 across the 6 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
SyzHarness: Patch-Based Kernel Bug Reproduction with LLM-Synthesized Fuzzing Harnesses
Xingyu Li, Juefei Pu, Haonan Li +4
Automated kernel vulnerability reproduction is essential for bug triage, patch validation, and regression testing, but still lacks an effective and efficient solution. The core cha…
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…