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 |
| TT.-Prof. Dr. Christian Wressnegger |