Spring semester 2013
- 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
Take a look at our projects page for an overview on currently available Master's theses, Diplomarbeiten, or Semesterarbeiten.
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.