A Framework for Formalizing LLM Agent Security

arXiv preprint 2026, 2026-05-31 00:00:00 -0700