Main content

Information Security Group

Information Security Group

We perform research and education on methods and tools for the analysis and construction of safe and secure systems. This includes methods for specifying systems, developing systems in correctness-preserving ways, and verifying or testing existing systems and infrastructures.

Our objective is to construct and implement security-critical systems and develop better processes for their construction whereby we can make mathematically precise statements about their behavior. We build on foundations in mathematical logic, discrete mathematics and cryptography, algorithms, complexity theory, and probability theory.

The Information Security group is led by and is part of the Institute of Information Security.

We have open positions!

Visit our webpage for more details

We are affiliated with the Zurich Information Security and Privacy Center (ZISC).

JavaScript has been disabled in your browser