280 citations · 1.4k across the 75 of their papers we have counts for
4 papers · 1 filter
VEPA: Verified Evolving Formal Policy for Lifelong LLM Agent Guardrails
Duy Nguyen, Lesly Miculicich, Bhavana Dalvi Mishra +5
LLM agents increasingly operate over sensitive resources, such as private documents and mutable system states, which can create serious safety and security risks. Runtime guardrail…
SpecGuard: Proving a Task Is Broken Before the Agent Cheats
Param Biyani, Krishnamurthy Dvijotham
As autonomous coding agents get increasingly deployed, the risk that accidental or adversarially injected misspecifications in tasks lead to dangerous agent behavior is critical to…
Efficient and Sound Probabilistic Verification for AI Agents
Alaia Solko-Breslin, Pramod Kaushik Mudrakarta, Mihai Christodorescu +2
Securing AI agents that operate in complex digital environments has become a critical need, and runtime monitoring approaches that formulate and enforce policies expressed in a for…
CausalArmor: Efficient Indirect Prompt Injection Guardrails via Causal Attribution
Minbeom Kim, Mihir Parmar, Phillip Wallis +5
AI agents equipped with tool-calling capabilities are susceptible to Indirect Prompt Injection (IPI) attacks. In this attack scenario, malicious commands hidden within untrusted co…