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