Christoph Sprenger: Courses in Spring Semester 2018 |
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 | 4 credits | 2V + 1U | ||||||||
263-4600-00 V | Formal Methods for Information Security | 2 hrs |
| R. Sasse, C. Sprenger | |||||||
263-4600-00 U | Formal Methods for Information Security | 1 hrs |
| R. Sasse, C. Sprenger |