Luca Beurer-Kellner

19 papers A* 6Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Skill-Inject: Measuring Agent Vulnerability to Skill File Attacks.
CoRR
David Schmotz, Luca Beurer-Kellner, Sahar Abdelnabi, Maksym Andriushchenko
2025 J jnl
CommandSans: Securing AI Agents with Surgical Precision Prompt Sanitization.
CoRR
Debeshee Das, Luca Beurer-Kellner, Marc Fischer, Maximilian Baader
2025 J jnl
Design Patterns for Securing LLM Agents against Prompt Injections.
CoRR
Luca Beurer-Kellner, Beat Buesser, Ana-Maria Cretu, Edoardo Debenedetti, Daniel Dobos, Daniel Fabian, Marc Fischer, David Froelicher, Kathrin Grosse, Daniel Naeff, Ezinwanne Ozoani, Andrew Paverd, Florian Tramèr, Václav Volhejn
2024 J jnl
AgentDojo: A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents.
CoRR
Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr
2024 A* conf
AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents.
NeurIPS
Edoardo Debenedetti, Jie Zhang, Mislav Balunovic, Luca Beurer-Kellner, Marc Fischer, Florian Tramèr
2024 A* conf
Controlled Text Generation via Language Model Arithmetic.
ICLR
Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
2024 A* conf
Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation.
ICML
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
2024 J jnl
Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation.
CoRR
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
2024 A* conf
Prompt Sketching for Large Language Models.
ICML
Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2023 J jnl
A Transformational Approach to Managing Data Model Evolution of Web Services.
IEEE Trans. Serv. Comput.
Luca Beurer-Kellner, Jens von Pilgrim, Christos Tsigkanos, Timo Kehrer
2023 J jnl
Controlled Text Generation via Language Model Arithmetic.
CoRR
Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
2023 J jnl
Prompt Sketching for Large Language Models.
CoRR
Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin T. Vechev
2023 J jnl
Prompting Is Programming: A Query Language for Large Language Models.
Proc. ACM Program. Lang.
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
2022 A* conf
Learning to Configure Computer Networks with Neural Algorithmic Reasoning.
NeurIPS
Luca Beurer-Kellner, Martin T. Vechev, Laurent Vanbever, Petar Velickovic
2022 J jnl
Learning to Configure Computer Networks with Neural Algorithmic Reasoning.
CoRR
Luca Beurer-Kellner, Martin T. Vechev, Laurent Vanbever, Petar Velickovic
2022 A* conf
On Distribution Shift in Learning-based Bug Detectors.
ICML
Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev
2022 J jnl
On Distribution Shift in Learning-based Bug Detectors.
CoRR
Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev
2022 J jnl
Prompting Is Programming: A Query Language For Large Language Models.
CoRR
Luca Beurer-Kellner, Marc Fischer, Martin T. Vechev
2020 — conf
Round-trip migration of object-oriented data model instances.
TTC/
Luca Beurer-Kellner, Jens von Pilgrim, Timo Kehrer