KIT
Engineering Secure Systems
Fraunhofer IOSB
Fraunhofer Institute of Optronics, System Technologies and Image Exploitation
FZI
Research Center for Information Technology
KIT
Karlsruhe Institute of Technology

KASTEL Security Research Labs

As one of the leading international research institutions, KASTEL Security Research Labs contributes to the interdisciplinary research of holistic solutions for the security and data protection of complex networked systems. We span the arc from basic research to application research, including timely transfer to business, society, and politics. We explore the quantification of security and privacy. In doing so, we are guided by the unity of research, teaching, and innovation.

Special Issue of KASTEL Security Research Labs “Insight” 2025 Focus on: Topic Engineering Secure Systems

Download Special Issue KASTEL “Insight”

Latest News

Sep 25, 2025

Transatlantic Exchange on Election Security: U.S. Delegation Visits KASTEL Security Research Labs

On September 19, a delegation of U.S. election officials from 12 states visited the KASTEL Security Research Labs as part of an informational tour. The high-ranking officials were accompanied by representatives from the Aspen Institute Germany.

Read more
See all News
Sep 04, 2025

Cryptography Meets Culture: YRKS 2025 at KIT

On September 2nd and 3rd, 2025, the Young Researcher Crypto Seminar (YRKS) took place in the Senate Hall at KIT.

Read more
Jul 15, 2025

Programs as Mechanical Works of Art – “Code Beautiful Like a Clock” at the ZKM

As part of the opening event of the “Art, Summer, Technology” series hosted by Dr. Isabel Gallin (Karlsruhe Institute of Technology), the interactive installation “Code Beautiful Like a Clock” was on display at the ZKM | Center for Art and Media on Friday, July 11, 2025. The piece was developed by Prof. Dr. Jörn Müller-Quade (spokesperson for the KASTEL Security Research Labs) and Dr. Jeremias Mechler (KASTEL SRL researcher).

Read more
See all News

Upcoming Events

See All Events
Studies

3 University Courses

Advanced Education

3 Chances for Further Training

It is our ambition not only to conduct research, but also to transfer our knowledge. That is why KASTEL Security Research Labs (SRL) offers diverse programs to deepen the knowledge in the field of IT security for professionals and students.

Knowledge Transfer

Publications: Insights into our Research

The research results at KASTEL Security Research Labs are highlighted by numerous outstanding publications. Get insights into our research work.

Publications
Nov 17, 2025
Decentralized Systems Network Services

Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+

Grundmann, M.; Hartenstein, H.
2025. 20th International Conference on Integrated Formal Methods, iFM 2025, Paris, 17th-21st November 2025, Springer

Publication
Nov 02, 2025
Software Engineering

HubLink: A Novel Question Answering Retrieval Approach over Knowledge Graphs

Kaplan, A.; Keim, J.; Schneider, M.; Reussner, R. H.
2025. RAGE-KG 2025: The Second International Workshop on Retrieval-Augmented Generation Enabled by Knowledge Graphs, co-located with ISWC 2025, November 2–6, 2025, Nara, Japan. Ed.: Jennifer D., CEUR-WS

Publication
Oct 05, 2025
Software Engineering

What can we learn from other Domains – An exploratory process for the extension of a language based on cross-domain knowledge transfer

Jutz, B.; Zacouris, Z.; Weber, T.; Acosta, M.; Reussner, R.; Burger, E.
2025. Proceedings of the ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems, Grand Rapids, MI, USA, 5th-10th October 2025, Institute of Electrical and Electronics Engineers (IEEE)

Publication
Publications