Suchergebnis:
Lehrveranstaltungen im Frühjahrssemester 2019
Informatik Master Vertiefungsfächer Vertiefung in Information Security Kernfächer der Vertiefung in Information Security Nummer Titel Typ ECTS Umfang Dozierende 252-0407-00L Cryptography Foundations Takes place the last time in this form.
W 7 KP 3V + 2U + 1A 252-0407-00 V Cryptography Foundations 3 Std. U. Maurer 252-0407-00 U Cryptography Foundations 2 Std. U. Maurer 252-0407-00 A Cryptography FoundationsProject Work, no fixed presence required.
1 Std. U. Maurer Wahlfächer der Vertiefung in Information Security Nummer Titel Typ ECTS Umfang Dozierende 252-0408-00L Cryptographic Protocols W 5 KP 2V + 2U 252-0408-00 V Cryptographic Protocols 2 Std. M. Hirt ,
U. Maurer 252-0408-00 U Cryptographic Protocols 2 Std. M. Hirt ,
U. Maurer 263-2925-00L Program Analysis for System Security and Reliability W 5 KP 2V + 1U + 1A 263-2925-00 V Program Analysis for System Security and Reliability 2 Std. M. Vechev 263-2925-00 U Program Analysis for System Security and Reliability 1 Std. M. Vechev 263-2925-00 A Program Analysis for System Security and Reliability 1 Std. M. Vechev 263-4600-00L Formal Methods for Information Security W 4 KP 2V + 1U 263-4600-00 V Formal Methods for Information Security 2 Std. R. Sasse ,
C. Sprenger 263-4600-00 U Formal Methods for Information Security 1 Std. R. Sasse ,
C. Sprenger 263-4630-00L Computer-Aided Modelling and Reasoning In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum.
W 8 KP 7P 263-4630-00 P Computer-Aided Modelling and Reasoning 7 Std. C. Sprenger ,
D. Traytel Seminar in Information Security Nummer Titel Typ ECTS Umfang Dozierende 263-2930-00L Blockchain Security Seminar Number of participants limited to 22. The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
W 2 KP 2S 263-2930-00 S Blockchain Security Seminar 2 Std. M. Vechev ,
D. Drachsler Cohen ,
P. Tsankov