Informations- und Systemsicherheit
Informationssicherheit ist sowohl ein grundlegendes Problem der modernen Gesellschaft als auch eine eigenständige Wissenschaftsdisziplin mit eigenen Grundlagen und Methoden. In diesem Bereich betreibt das Departement Forschung, die von den mathematischen Grundlagen der Kryptographie bis zur Entwicklung von Lösungen für dringende Probleme bei der Sicherung von Netzen, cyber-physischen Systemen und Anwendungen reicht. Da es sich bei der Sicherheit um ein sehr interdisziplinäres Gebiet handelt, ist die Arbeit von Natur aus kollaborativ und funktioniert oft in Verbindung mit industriellen Partnern und anderen Fakultätsbereichen.
Forschungsthemen
Kryptographie, formale Methoden, Netzwerksicherheit, Systemsicherheit, Datenschutz
David Basin
Ordentlicher Professor
Webseite
Informationssicherheit, Softwareentwicklung, Verifikation, Logik in der Informatik, formale Methoden
Srdjan Capkun
Ordentlicher Professor
externe Seite Webseite
System- und Netzwerksicherheit, Wireless-Sicherheit, sichere Lokalisierung
Torsten Hoefler
Ordentlicher Professor
Website
Architektur und Vernetzung von Rechenzentren, Cloud Computing, Klimasimulationen, hochskalierendes maschinelles Lernen, Quanten- und Hochleistungsrechnen
Dennis Hofheinz
Ordentlicher Professor
Website
Kryptographie, Informationssicherheit, Proof-Systeme, Algorithmen, theoretische Informatik
Zhendong Su
Ordentlicher Professor
Webseite
Compiler, Programmiermethoden und -werkzeuge, testen, analysieren, verifizieren, Software-Sicherheit, maschinelles Lernen, Bildungstechnologien
Martin Vechev
Ordentlicher Professor
Webseite
Automatisierte Logik, maschinelles Lernen, sichere künstliche Intelligenz, Sicherheit