TY - RPRT TI - A Framework for Formalizing LLM Agent Security AU - Vincent Siu AU - Jingxuan He AU - Kyle Montgomery AU - Zhun Wang AU - Neil Gong AU - Chenguang Wang AU - Dawn Song PY - 2026 UR - https://arxiv.org/abs/2603.19469 ID - 2603.19469 ER -