{"data":{"id":"e235a7b3-bebd-4a4d-8ce9-40a16c60bc32","title":"PerMIT: Securing Persistent Memory for LLM Agents via Machine-Checked Integrity Theorems and Scalable Community Trust","summary":"PerMIT is a memory architecture for LLM agents that gives provable integrity guarantees under an explicit trust assumption: only user-typed inputs and values confirmed at a gate are trusted. Two integrity theorems, machine-checked in Lean 4, ensure environment-derived memory reaches a sensitive action only if confirmed at the gate. On Trojan Hippo, PerMIT records zero observed attack success, and on τ²-bench, communities of up to 90 autonomous agents build shared knowledge bases with no direct memory injection promoted.","solution":"N/A -- no mitigation discussed in source.","labels":["security","research"],"sourceUrl":"https://arxiv.org/abs/2610.28987v1","publishedAt":"2026-10-20T23:31:06.000Z","cveId":null,"cweIds":null,"cvssScore":null,"cvssSeverity":null,"severity":"info","attackType":["prompt_injection","rag_poisoning"],"issueType":"research","affectedPackages":null,"affectedPackageNames":null,"affectedPackageRefs":null,"affectedVendors":[],"affectedVendorsRaw":[],"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-20T23:31:06.000Z","capecIds":null,"crossRefCount":0,"attackSophistication":"advanced","impactType":["integrity","confidentiality"],"aiComponentTargeted":"agent","llmSpecific":true,"classifierConfidence":0.95,"researchCategory":"preprint","atlasIds":["AML.T0051","AML.T0070"]}}