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
Torsten Hoefler
Full Professor
Website
datacenter architecture and networking, cloud computing, climate simulations, large-scale machine learning, quantum and high-performance computing
Dennis Hofheinz
Full Professor
Website
cryptography, information security, proof systems, algorithms, theoretical computer science
Martin Vechev
Full Professor
Website
automated reasoning, machine learning, safe artificial intelligence, security