Our Research Goes to NDSS 2026!
Our paper has been accepted at NDSS 2026, taking place from February 23–27, 2026 in San Diego, California.
Title: Chasing Shadows: Pitfalls in LLM Security Research
Authors: J. Evertz, N. Risse, N. Neuer, A. Müller, P. Normann, G. Sapia, S. Gupta, D. Pape, S. Shaw, D. Srivastav, C. Wressnegger, Erwin Quiring, Thorsten Eisenhofer, D. Arp, and L. Schönherr.
Congratulations to all the authors for this achievement!
https://llmpitfalls.org/
#KASTELSecurityResearchLabs
Congratulations to the Authors!
Paper accepted at 50th IEEE Conference on Local Computer Networks (LCN), Oct. 2025, Sydney Australia: “Feedback-Driven Autonomous Data Set Labeling for Denial-of-Service Attack Traffic” by Samuel Kopmann (Karlsruhe Institute of Technology, Germany); Danny Alex Lachos Perez (BENOCS GmbH, Germany); Martina Zitterbart (KIT, Germany)
#KASTELSecurityResearchLabs
Honoring Women in STEM on Ada Lovelace Day 2025!
Today, the KASTEL Security Research Labs celebrate all women conducting research in STEM fields. In honor of Ada Lovelace Day, we dedicate this day to the American computer pioneer Frances Elisabeth Allen (1932–2020). She was the first woman to receive the prestigious Alan Turing Award — and also the first to be named an IBM Fellow.
https://en.wikipedia.org/wiki/Frances_Allen
Rama/CC-BY-SA-2.0-FR
https://creativecommons.org/licenses/by-sa/2.0/fr/deed.en
Congratulaions!
“Counterfactual Self-adaptation in Cyber-Physical Systems” of E. Elahi, M. Camilli and R. Mirandola won the Outstanding Paper Award at 51st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2025 September 10-12.
https://link.springer.com/chapter/10.1007/978-3-032-04190-6_14
#KASTELSecurityResearchLabs
Cyber-physical systems (CPS) operate in dynamic and uncertain environments, where maintaining operational objectives without manual intervention is critical. Self-adaptive systems (SAS) have emerged as a promising solution, leveraging machine learning (ML) models...
KASTEL research presented at the GOR
The research group “Operations of Critical Infrastructures”, led by Jun.-Prof. Dr. Emilia Grass, participated in the German Operations Research Conference (GOR) held in Bielefeld this September. PhD students Abhilasha Bakre, Gabriela Ciolacu, and Aiman Zainab presented their current research on cybersecurity and resilience in healthcare systems.
KASTEL Security Research Labs Summer Colloquium 2025
On September 24, the KASTEL Security Research Labs hosted their Summer Colloquium 2025 – once again, an evening successful scientific exchange!
A heartfelt thank you to everyone who contributed to this inspiring and multifaceted program!
Journal of the ACM Paper Accepted: “Axiomatization of Compact Initial Value Problems: Open Properties”
Authors: André Platzer, Long Qian
This work provides an unifying framework in which simulation-based techniques and rigorous logical proofs can be harmoniously integrated, achieving the generality of numerical simulations whilst retaining the rigor of logical proofs.
Read more: https://doi.org/10.1145/3763228
This article proves the completeness of an axiomatization for initial value problems (IVPs) with compact initial conditions and compact time horizons for bounded open safety, open liveness and existence properties. Completeness systematically reduces the ...
KASTEL Security Research Labs