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

Professor David Basin

David Basin
Ordentlicher Professor

Webseite

Informationssicherheit, Softwareentwicklung, Verifikation, Logik in der Informatik, formale Methoden
 

Professor Srdjan Capkun

Srdjan Capkun
Ordentlicher Professor

Webseite

System- und Netzwerksicherheit, Wireless-Sicherheit, sichere Lokalisierung
 

Professor Torsten Hoefler

Torsten Hoefler
Ordentlicher Professor

Website

Architektur und Vernetzung von Rechenzentren, Cloud Computing, Klimasimulationen, hochskalierendes maschinelles Lernen, Quanten- und Hochleistungsrechnen
 

Professor Dennis Hofheinz

Dennis Hofheinz
Ordentlicher Professor

Website

Kryptographie, Informationssicherheit, Proof-Systeme, Algorithmen, theoretische Informatik
 

Professor Ueli Maurer

Ueli Maurer
Ordentlicher Professor

Webseite

Kryptographie, Informationssicherheit, Theoretische Informatik, Informationstheorie, diskrete Mathematik
 

Professor Peter Müller

Peter Müller
Ordentlicher Professor

Webseite

Programmverifikation, statische Programmanalyse, Typsysteme, Testen, formale Methoden, Werkzeuge
 

Professor Kenny Paterson

Kenny Paterson
Ordentlicher Professor

Webseite

Kryptographie, Informationssicherheit, Algorithmen, diskrete Mathematik
 

Professor Adrian Perrig

Adrian Perrig
Ordentlicher Professor

Webseite

System- und Netzwerksicherheit, Netzwerke, Internetarchitektur

 

Professor Shinde

Shweta Shinde
Assistenzprofessorin

Webseite

Systemsicherheit, Softwaresicherheit, Trusted Computing, sichere Hardware, Verifizierung
 

Professor Zendong Su

Zhendong Su
Ordentlicher Professor

Webseite

Compiler, Programmiermethoden und -werkzeuge, testen, analysieren, verifizieren, Software-Sicherheit, Maschinelles Lernen, Bildungstechnologien
 

Professor Florian Tramér

Florian Tramér
Assistenzprofessor

Webseite

Datenschutz, Computersicherheit, vertrauenswürdiges Maschinelles Lernen, angewandte Kryptographie

 

Professor Martin Vechev

Martin Vechev
Ordentlicher Professor

Webseite

Automatisierte Logik, maschinelles Lernen, sichere künstliche Intelligenz, Sicherheit

 

JavaScript wurde auf Ihrem Browser deaktiviert