Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
Blocking at the Boundary: Auditing Long-Horizon Agents against Staged Prompt Injection
Jingkai Liu, Yufei Han, Xiaoting Lyu +2
Long-horizon agents consume external content, invoke tools, and modify persistent state. Indirect prompt injection can exploit task-specific context, propagate across causally conn…
cs.CR2026
LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?
Tianjian Liu, Shicheng Feng, Jin'ao Shang +5
Large language models (LLMs) have shown strong potential for assisting software and security analysis tasks, yet their effectiveness in cryptographic symbolic protocol verification…
cs.CR2026
AgentLeak: Cloning Stronger LLM Agent Capabilities onto Weaker Agents Beyond Skill Stealing
Xiaoting Lyu, Yuhong Wu, Yufei Han +5
Large language model (LLM) agents increasingly achieve long-horizon tasks by combining foundation models with explicit skills and implicit procedural knowledge acquired through exe…