Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
Checking Leakage Witnesses versus Certifying Bounded Non-Leakage
Chao Feng, Burkhard Stiller
When a language-model audit finds no leak, what is needed to certify non-leakage? We study guarantees over a declared prompt domain under an executable leakage criterion and decodi…
cs.CR2026
Beyond Handcrafted Security: Towards Self-Evolving Defense for LLM Agents
Jiajun Ruan, Peiyang Li, Yukun Chen +2
The expanding operational capabilities of large language model (LLM) agents introduce sophisticated security threats. Runtime defenses have emerged as an effective approach to miti…
cs.CR2026
AgentCanary: A Security Evaluation Framework for Autonomous AI Agents in Real Executable Environments
Peiyang Li, Songping Wang, Yi Huang +9
Autonomous AI agents have driven the transition from conversation to task execution, shifting security failures from textual deception to system compromise. Although security evalu…