Autumn Semester 2020 takes place in a mixed form of online and classroom teaching.
Please read the published information on the individual courses carefully.

Christoph Sprenger: Course units in Spring Semester 2019

Name Dr. Christoph Sprenger
Address
Institut f. Informationssicherheit
ETH Zürich, CNB F 108
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telephone+41 44 632 75 56
E-mailsprenger@inf.ethz.ch
URLhttp://people.inf.ethz.ch/csprenge/
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
263-4600-00LFormal Methods for Information Security Information 4 credits2V + 1UR. Sasse, C. Sprenger
263-4630-00LComputer-Aided Modelling and Reasoning Information
In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum.
8 credits7PC. Sprenger, D. Traytel