Towards Verifiably Safe Tool Use for LLM Agents. - Aarya Doshi; Yining Hong; Congying Xu; Eunsuk Kang; Alexandros Kapravelos; Christian Kästner (CoRR, 2026)