Spring semester 2013

Main content


  • Formal Methods and Functional Programming
  • Information Security
  • Formal Methods for Information Security
  • Design of Digital Circuits
  • Security and Fault-tolerance in Distributed Systems
  • E-Privacy - Privacy in the Electronic Society

Student Projects

Information Security

Take a look at our projects page for an overview on currently available Master's theses, Diplomarbeiten, or Semesterarbeiten.

System Security

We have several open proposals for student projects, both for Semesterarbeiten (Semester Project) and Master theses. Please do not hesitate to write an e-mail to syssec.projects [AT] lists.inf.ethz.ch, we will come back to you as soon as possible with some open projects. Remember to specify what interests you or if you have any particular project in mind.

Current and Past Student Projects

Miscellaneous Offerings

ZISC Information Security events

Page URL: http://www.infsec.ethz.ch/education/ss2013.html
Tue Jun 27 06:48:52 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich