Information Security Group

Information Security Group

Zurich Information Security Center

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

Events & News

  • Best paper awards:

    Paper: Scalable Offline Monitoring
    Conference: 14th International Conference on Runtime Verification
    Authors: David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel

    Paper: Formal Analysis of Electronic Exams
    Conference: SECRYPT'14 in Vienna
    Authors: Jannik Dreier, Rosario Guistolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, and Peter Y. A. Ryan


Welcome to the website of the Information Security Group at ETH Zurich. 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.




Our web pages provide an overview of our activities and courses in these areas, including our technology transfer activities.


The group is part of the Institute of Information Security .


Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.
More information

© 2014 ETH Zurich | Imprint | Disclaimer | 13 November 2014