Latest papers

1 papers
defense arXiv Feb 18, 2026 · 6w ago

Policy Compiler for Secure Agentic Systems

Nils Palumbo, Sarthak Choudhary, Jihye Choi et al. · University of Wisconsin–Madison · Langroid

Compiles LLM agent implementations into policy-compliant systems using dependency graphs, Datalog rules, and a reference monitor to block violations

Excessive Agency Prompt Injection nlp
PDF