Information and System Security

Information security is both a problem of fundamental importance for modern society and a scientific discipline in its own right, complete with its own foundations and methods. The department carries out research across this spectrum, ranging from the mathematical foundations of cryptography to building solutions to pressing problems in securing networks, cyber-physical systems and applications. As security is a highly interdisciplinary area, the work is collaborative by nature and often contains strong links to industrial partners and other faculty areas.

Areas of research

cryptography, formal methods, network security, system security, privacy

Professor David Basin

David Basin
Full Professor

Website

information security, verification, formal methods, software engineering, logic in computer science

Professor Srdjan Capkun

Srdjan Capkun
Full Professor

Website

system and network security, wireless security, secure localization

Professor Torsten Hoefler

Torsten Hoefler
Full Professor

Website

datacenter architecture and networking, cloud computing, climate simulations, large-scale machine learning, quantum and high-performance computing

Professor Dennis Hofheinz

Dennis Hofheinz
Full Professor

Website

cryptography, information security, proof systems, algorithms, theoretical computer science

Professor Ueli Maurer

Ueli Maurer
Full Professor

Website

cryptography, information security, theoretical computer science, information theory, discrete mathematics

Professor Peter Müller

Peter Müller
Full Professor

Website

program verification, static program analysis, type systems, testing, formal methods, tools

Professor Kenny Paterson

Kenny Paterson
Full Professor

Website

cryptography, information security, algorithms, discrete mathematics

Professor Adrian Perrig

Adrian Perrig
Full Professor

Website

system and network security, networks, internet architecture

Professor Zhendong Su

Shweta Shinde
Assistant Professor

Website

systems security, software security, trusted computing, secure hardware, verification

Professor Zhendong Su

Zhendong Su
Full Professor

Website

compilers, programming methodologies and tools, testing, analysis, verification, software security, machine learning, education technologies

Professor Florian Tramér

Florian Tramèr
Assistant Professor

Website

privacy, computer security, trustworthy machine learning, applied cryptography

Professor Martin Vechev

Martin Vechev
Full Professor

Website

automated reasoning, machine learning, safe artificial intelligence, security

JavaScript has been disabled in your browser