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.

KASTEL Security Research Labs “Insight” 2024/2025 Part I and Part II

Download KASTEL “Insight” 2024/2025 Part I and Part II

Latest News

Nov 06, 2025

Gianluca Stringhini on Moderating Disinformation

As part of the “KASTEL Distinguished Lecture Series” hosted by the KIT Graduate School Cyber Security, Gianluca Stringhini hold a lecture on November 5 titled “Improving the Moderation of False Information and Influence Campaigns on Social Media.”

See all News

Oct 09, 2025

The Spy Who Came in from the WiFi: Beware of Radio Network Surveillance!

New Technology is Able to Infer the Identity of Persons with No WiFi Device on Them through Signals in Radio Networks – Researchers Warn of Risks to Privacy and Call for Protective Measures

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.

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

Dec 08, 2025

Usable Security

Fix it – If you Can! Towards Understanding the Impact of Tool Support and Domain Owners’ Reactions to SSHFP Misconfigurations

Hennig, A.; Neef, S.; Mayer, P.
2025. Kapil Singh, Gianluca Stringhini, Nick Nikiforakis, 104682, Elsevier

Publication

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 04, 2025

Software Engineering

Towards Bringing Vitruvius into the Cloud II: Against Attacks from the Internet

Armbruster, M.; Chebbi, F.; Weber, T.; Koziolek, A.
2025. Softwaretechnik-Trends, Gesellschaft für Informatik, Gesellschaft für Informatik (GI)

Publication

Publications

KIT

Fraunhofer IOSB

FZI

KIT