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
E-Mail
Webseite

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

Professor Srdjan Capkun

Srdjan Capkun
Ordentlicher Professor
E-Mail
Webseite

System- und Netzwerksicherheit, Wireless-Sicherheit, sichere Lokalisierung

Professor Torsten Hoefler

Torsten Hoefler
Ordentlicher Professor
E-mail
Website

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

Professor Dennis Hofheinz

Dennis Hofheinz
Ordentlicher Professor
E-Mail
Website

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

Professor Ueli Maurer

Ueli Maurer
Ordentlicher Professor
E-Mail
Webseite

Kryptographie, Informationssicherheit, Theoretische Informatik, Informationstheorie, diskrete Mathematik

Professor Peter Müller

Peter Müller
Ordentlicher Professor
E-Mail
Webseite

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

Professor Kenny Paterson

Kenny Paterson
Ordentlicher Professor
E-Mail
Webseite

Kryptographie, Informationssicherheit, Algorithmen, diskrete Mathematik

Professor Adrian Perrig

Adrian Perrig
Ordentlicher Professor
E-Mail
Webseite

System- und Netzwerksicherheit, Netzwerke, Internetarchitektur

Professor Shinde

Shweta Shinde
Assistenzprofessorin
E-Mail
Webseite

Systemsicherheit, Softwaresicherheit, Trusted Computing, sichere Hardware, Verifizierung

Professor Zendong Su

Zhendong Su
Ordentlicher Professor
E-Mail
Webseite

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

Professor Florian Tramér

Florian Tramèr
Assistenzprofessor
E-Mail
Webseite

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

Professor Martin Vechev

Martin Vechev
Ordentlicher Professor
E-Mail
Webseite

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