Ralf Sasse: Course units in Spring Semester 2018 |
| Name | Dr. Ralf Sasse |
| Address | Lehre D-INFK ETH Zürich, CAB H 33.2 Universitätstrasse 6 8092 Zürich SWITZERLAND |
| Telephone | +41 44 632 53 89 |
| ralf.sasse@inf.ethz.ch | |
| Department | Computer Science |
| Relationship | Lecturer |
| Number | Title | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|
| 263-4600-00L | Formal Methods for Information Security  | 4 credits | 2V + 1U | R. Sasse, C. Sprenger | |