NOMOS: Compiling Written Policies into Statically Verified Tool-Call Gates for LLM Agents

Summary

NOMOS is a four-pass compiler that turns a natural-language policy into a deterministic tool-call gate for LLM agents. Static verification using only tool-schema checks repairs or rejects 37% of candidates on airline and 13% on retail, and the gate cuts violations of reference-encoded clauses on state-changing calls from 66.3% to 2.6% (airline) and 30.8% to 6.9% (retail). On AgentDojo's banking suite it reaches a zero attack success rate, and on the other three suites its ASR is at most 3.6%.

Related items

• CriticalCVE-2026-108263: Astron Agent code-node execution as root through workflow run endpointsSimilar attack · NVD/CVE Database
• MediumHackers abuse Google Ads, Bing redirects to push Claude ClickFix attacksSimilar attack · BleepingComputer
• CriticalHermes Agent - PKCE Session Takeover via Redirect-URI Parser ConfusionSimilar attack · Tenable Research Advisories
• LowSocial Engineering AI Agents: The New BEC for 2026Similar attack · Dark Reading
• MediumGHSA-hmq2-7hp6-7crh: Banks: User-controlled prompt input can be parsed as privileged chat messagesSimilar attack · GitHub Advisory Database