Srdan Krstic: Course units in Spring Semester 2021 |
Name | Dr. Srdan Krstic |
Address | Professur f. Informationssicherh. ETH Zürich, CNB F 109.2 Universitätstrasse 6 8092 Zürich SWITZERLAND |
Telephone | +41 44 632 93 28 |
srdan.krstic@inf.ethz.ch | |
URL | https://krledmno1.github.io/ |
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 |