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:

Forschungsgruppe Leiter
Application-oriented Formal Verification Prof. Dr. Bernhard Beckert
Decentralized Systems and Network Services Prof. Dr. Hannes Hartenstein
Architecture-driven Requirements Engineering Prof. Dr. Anne Koziolek
Cryptography and IT Security Prof. Dr. Jörn Müller-Quade
Software Design und ​Quality Prof. Dr. Ralf Reussner
Practical IT Security Prof. Dr. Thorsten Strufe
Intelligent System Security TT.-Prof. Dr. Christian Wressnegger