{"data":{"id":"7ac19fe7-14fd-41fd-95b1-795e3ec95ae2","title":"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%.","solution":"N/A -- no mitigation discussed in source.","labels":["security","research"],"sourceUrl":"https://arxiv.org/abs/2610.11030v1","publishedAt":"2026-10-08T00:23:22.000Z","cveId":null,"cweIds":null,"cvssScore":null,"cvssSeverity":null,"severity":"info","attackType":["prompt_injection","other"],"issueType":"research","affectedPackages":null,"affectedPackageNames":null,"affectedPackageRefs":null,"affectedVendors":[],"affectedVendorsRaw":["LLM agents","gemma-4-26B","Llama-3.3-70B","AgentDojo","τ²-bench"],"classifierModel":"claude-haiku-5-5","classifierPromptVersion":"v4","summaryPromptVersion":"v2","headline":null,"headlinePromptVersion":null,"cvssVector":null,"attackVector":null,"attackComplexity":null,"privilegesRequired":null,"userInteraction":null,"exploitMaturity":null,"epssScore":null,"epssCheckedAt":null,"kevDateAdded":null,"advisoryAliases":null,"affectedPackagesSource":null,"affectedPackagesCheckedAt":null,"patchAvailable":null,"disclosureDate":"2026-10-08T00:23:22.000Z","capecIds":null,"crossRefCount":0,"attackSophistication":"moderate","impactType":["integrity","safety"],"aiComponentTargeted":"agent","llmSpecific":true,"classifierConfidence":0.95,"researchCategory":"preprint","atlasIds":null}}