Christoph Sprenger: Course units in Spring Semester 2021 |
| 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 |
| sprenger@inf.ethz.ch | |
| URL | http://people.inf.ethz.ch/csprenge/ |
| Department | Computer Science |
| Relationship | Lecturer |
| Number | Title | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|
| 263-4600-00L | Formal Methods for Information Security  | 5 credits | 2V + 1U + 1A | S. Krstic, R. Sasse, C. Sprenger | |