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 |