TY  - RPRT
TI  - PerMIT: Securing Persistent Memory for LLM Agents via Machine-Checked Integrity Theorems and Scalable Community Trust
AU  - Tanqiu Jiang
AU  - Min Bai
AU  - Sadat Shahriar
AU  - Wanyu Du
AU  - Sandesh Swamy
PY  - 2026
UR  - https://arxiv.org/abs/2610.28987
ID  - 2610.28987
ER  -