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 |
| Operations of Critical Infrastructures in Healthcare | Jun.-Prof. Dr. Emilia Graß |
| Decentralized Systems and Network Services | Prof. Dr. Hannes Hartenstein |
| Modelling for Continuous Software Engineering | Prof. Dr. Anne Koziolek |
| Self-adaptive Software-intensive Systems | Prof. Dr. Raffaela Mirandola |
| 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 |
| Modeling and Analysis in Mobility Software Engineering | Jun.-Prof. Dr. Maike Schwammberger |
| Practical IT Security | Prof. Dr. Thorsten Strufe |
| Artificial Intelligence & Security | TT.-Prof. Dr. Christian Wressnegger |