printlogo
http://www.ethz.ch/index_EN
Institute of Information Security
 
print
  

Institute of Information Security

Zurich Information Security Center

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

Events & News

  • Best paper award

    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 Institute of Information Security 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.

The institute includes the following research groups:

Affiliated group: Information Security and Cryptography Research Group (Prof. Ueli Maurer)

 

InstitutePic1s_Oct13

 

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

 

The institute is part of the Department of Computer Science at ETH Zurich.

 

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 | 4 December 2013
top