Institut für Informationssicherheit und Verlässlichkeit

Das KASTEL — Institut für Informationssicherheit und Verlässlichkeit ist aus dem Kompetenzzentrum für Angewandte Sicherheitstechnologie hervorgegangen und ist seither Teil der KASTEL Security Research Labs. Das Institut repräsentiert die Forschung und Lehre im Bereich der Informationssicherheit und Verlässlichkeit am KIT. Die folgenden Forschungsgruppen decken dabei eine große Bandbreite unterschiedlicher Themen ab:

Forschungsgruppe Leiter
Anwendungsorientierte Formale Verifikation Prof. Dr. Bernhard Beckert
Dezentrale Systeme und Netzdienste Prof. Dr. Hannes Hartenstein
Architekturgetriebene Anforderungstechnik Prof. Dr. Anne Koziolek
Kryptographie und Sicherheit Prof. Dr. Jörn Müller-Quade
Software-Design und -​Qualität Prof. Dr. Ralf Reussner
Praktische IT-Sicherheit Prof. Dr. Thorsten Strufe
Intelligente Systemsicherheit TT.-Prof. Dr. Christian Wressnegger