Luca Beurer-Kellner
- Design Patterns for Securing LLM Agents against Prompt Injections
2025/06/10 by Luca Beurer-Kellner, Beurer-Kellner, Luca, Beat Buesser +25 · 10 voices · 22 citations
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Topic Modeling
- AgentDojo-PROV: A W3C PROV-O Corpus of LLM Agent Executions
2024/06/19 by Jie Zhang, Debenedetti, Edoardo, Zhang, Jie +8 · 26 citations
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Network Security and Intrusion Detection
- Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation
2024/02/07 by Luca Beurer-Kellner, M. L. Fischer, Beurer-Kellner, Luca +3 · 22 citations
Computer Science · #Digital Rights Management and Security #Mathematics, Computing, and Information Processing #Library Science and Information Systems
- Prompting Is Programming: A Query Language for Large Language Models
2022/12/12 by Luca Beurer-Kellner, Marc Fischer, Martin Vechev · 1 voice · 3 citations
Computer Science · #cs.CL #cs.AI
- Controlled Text Generation via Language Model Arithmetic
2023/11/24 by Jasper Dekoninck, M. L. Fischer, Dekoninck, Jasper +5 · 7 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
- On Distribution Shift in Learning-based Bug Detectors
2022/04/21 by Jingxuan He, Luca Beurer-Kellner, He, Jingxuan +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- CommandSans: Securing AI Agents with Surgical Precision Prompt Sanitization
2025/10/09 by Das, Debeshee, Luca Beurer-Kellner, Beurer-Kellner, Luca +4 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Security and Verification in Computing #Advanced Malware Detection Techniques