Towards Verifiably Safe Tool Use for LLM Agents

Proceedings of the IEEE/ACM 48th International Conference on Software Engineering 2026 Open access

Read full text
Authors: Aarya Doshi, Yining Hong, Congying Xu, Eunsuk Kang, Alexandros Kapravelos, Christian Kästner
DOI: 10.1145/3786582.3786839
Cited by: 3
References: 14

Fields of Study & Subjects

Security and Verification in Computing Logic programming and type systems Mobile Agent-Based Network Management

Publication details

Journal / source
Proceedings of the IEEE/ACM 48th International Conference on Software Engineering
Publisher
ACM
Pages
201–205
Publication date
12 April 2026