TY  - RPRT
TI  - Provably Secure Agent Guardrail
AU  - Benlong Wu
AU  - Weiming Zhang
AU  - Kejiang Chen
AU  - Han Fang
AU  - Nenghai Yu
PY  - 2026
UR  - https://arxiv.org/abs/2605.29251
ID  - 2605.29251
ER  -