TY - RPRT TI - MELON: Provable Defense Against Indirect Prompt Injection Attacks in AI Agents AU - Kaijie Zhu AU - Xianjun Yang AU - Jindong Wang AU - Wenbo Guo AU - William Yang Wang PY - 2025 UR - https://arxiv.org/abs/2502.05174 ID - 2502.05174 ER -