Institute of Information Security and Dependability

The KASTEL — Institute of Information Security and Dependability has arisen from the Competence Center for Applied Security Technology and is ever since part of the KASTEL Security Research Labs.The institute researches and teaches a wide range of topics from information security and dependability, which are covered by the research groups listed below:

Research groups Leader
Application-oriented Formal Verification Prof. Dr. Bernhard Beckert
Decentralized Systems and Network Services Prof. Dr. Hannes Hartenstein
Modelling for Continuous Software Engineering Prof. Dr. Anne Koziolek
Cryptography and IT Security Prof. Dr. Jörn Müller-Quade
Alexander von Humboldt Professorship for
Logic of Autonomous Dynamical Systems
Prof. Dr. André Platzer
Dependability of Software-intensive Systems Prof. Dr. Ralf Reussner
Test, Validation and Analysis of Software-Intensive Systems Prof. Dr. Ina Schaefer
Practical IT Security Prof. Dr. Thorsten Strufe
Intelligent System Security TT.-Prof. Dr. Christian Wressnegger