Welcome to the website of the 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 are affiliated with the Zurich Information Security Center (ZISC).


Page URL: http://www.infsec.ethz.ch/
© 2015 Eidgenössische Technische Hochschule Zürich