Srdan Krstic: Lehrveranstaltungen im Frühjahrssemester 2021 |
Name | Herr Dr. Srdan Krstic |
Adresse | Professur f. Informationssicherh. ETH Zürich, CNB F 109.2 Universitätstrasse 6 8092 Zürich SWITZERLAND |
Telefon | +41 44 632 93 28 |
srdan.krstic@inf.ethz.ch | |
URL | https://krledmno1.github.io/ |
Departement | Informatik |
Beziehung | Dozent |
Nummer | Titel | ECTS | Umfang | Dozierende | ||||
---|---|---|---|---|---|---|---|---|
263-4600-00L | Formal Methods for Information Security ![]() | 5 KP | 2V + 1U + 1A | |||||
263-4600-00 V | Formal Methods for Information Security | 2 Std. |
| S. Krstic, R. Sasse, C. Sprenger | ||||
263-4600-00 U | Formal Methods for Information Security | 1 Std. |
| S. Krstic, R. Sasse, C. Sprenger | ||||
263-4600-00 A | Formal Methods for Information Security | 1 Std. | S. Krstic, R. Sasse, C. Sprenger |