Spring semester 2013
Lectures
- 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.
Miscellaneous Offerings
ZISC Information Security events