Runtime Enforcement for AI Agents

Overview

Runtime enforcement governs what AI agents may do while they are running, especially when tool calls can change files, access data, spend money, or control devices. Common approaches intercept actions at a trusted boundary and apply permissions, policies, behavioral contracts, or formal checks; other systems track action history and provenance, require human approval, or verify effects before committing them. These controls are studied in settings such as coding and web agents, financial workflows, scientific tools, and robotics, with benchmarks measuring both blocked attacks and preserved task success. A central challenge is balancing safety with useful autonomy: policies must account for context and changing state, while evidence for guarantees often remains limited to specific environments and assumptions.

Latest papers

CardsList

279 papers81 papers in the last four weeks, up 8% on the four weeks before. 0.5% of all new papers.

  1. Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving

    Apr 1, 2026Devakh Rashie, Veda RashiLLM GuardrailsAI Regulatory Compliance

  2. ElephantBroker: A Knowledge-Grounded Cognitive Runtime for Trustworthy AI Agents

    Mar 26, 2026Cristian Lupascu, Alexandru LupascuLLM Agent MemoryLLM Agent Reliability

  3. ClawKeeper: Comprehensive Safety Protection for OpenClaw Agents Through Skills, Plugins, and Watchers

    Mar 25, 2026Songyang Liu, Chaozhuo Li, Chenxu Wang +8AI Agent SecurityLLM Agent Security

  4. Agent-Sentry: Bounding LLM Agents via Execution Provenance

    Mar 24, 2026Rohan Sequeira, Stavros Damianakis, Umar Iqbal +1Computer-Use Agent SafetyAI Agent Security

  5. NuHF Claw: A Risk Constrained Cognitive Agent Framework for Human Centered Procedure Support in Digital Nuclear Control Rooms

    Mar 23, 2026Xingyu Xiao, Jiejuan Tong, Jun Sun +4AI Agent SafetyHuman-in-the-Loop AI

  6. Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents

    Mar 20, 2026Cailin Winston, Claris Winston, René JustTool Access Control for LLM AgentsLLM Agent Verification

  7. A Trace-Based Assurance Framework for Agentic AI Orchestration: Contracts, Testing, and Governance

    Mar 18, 2026Ciprian Paduraru, Petru-Liviu Bouruc, Alin StefanescuAI Agent ReliabilityLLM Agent Orchestration

  8. Runtime Governance for AI Agents: Policies on Paths

    Mar 17, 2026Maurits Kaptein, Vassilis-Javed Khan, Andriy PodstavnychyAI Agent GovernanceRuntime Enforcement for AI Agents

  9. Proactive Rejection and Grounded Execution: A Dual-Stage Intent Analysis Paradigm for Safe and Efficient AIoT Smart Homes

    Mar 17, 2026Xinxin Jin, Zhengwei Ni, Zhengguo Sheng +1Language Model-Based ControlAI Agent Reliability

  10. Agent Lifecycle Toolkit (ALTK): Reusable Middleware Components for Robust AI Agents

    Mar 16, 2026Zidane Wright, Jason Tsay, Anupama Murthi +8AI Agent ReliabilityRuntime Enforcement for AI Agents

  11. Visual Confused Deputy: Exploiting and Defending Perception Failures in Computer-Using Agents

    Mar 16, 2026Xunzhuo Liu, Bowei He, Xue Liu +3Computer-Use Agent SafetyAI Agent Security

  12. Real-Time Trust Verification for Safe Agentic Actions using TrustBench

    Mar 10, 2026Tavishi Sharma, Vinayak Sharma, Pragya SharmaAI Agent SafetyAI Agent Reliability

  13. Right in Time: Reactive Reasoning in Regulated Traffic Spaces

    Mar 4, 2026Simon Kohaut, Benedict Flade, Julian Eggert +2Runtime Enforcement for AI AgentsIntelligent Transportation Systems

  14. The Auton Agentic AI Framework

    Feb 27, 2026Sheng Cao, Zhao Chang, Chang Li +3Agentic AILLM Agent Orchestration