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
Modellierung für kontinuierliches Software-Engineering Prof. Dr. Anne Koziolek
Self-adaptive Software-intensive Systems Prof. Dr. Raffaela Mirandola
Kryptographie und Sicherheit Prof. Dr. Jörn Müller-Quade
Alexander-von-Humboldt-Professur für
Logik autonomer dynamischer Systeme
Prof. Dr. André Platzer
Verlässlichkeit Software-intensiver Systeme Prof. Dr. Ralf Reussner
Test, Validierung und Analyse Software-intensiver Systeme Prof. Dr. Ina Schaefer
Modellierung und Analyse im Mobility Software Engineering Jun.-Prof. Dr. Maike Schwammberger
Praktische IT-Sicherheit Prof. Dr. Thorsten Strufe

Intelligente Systemsicherheit

TT.-Prof. Dr. Christian Wressnegger