Nummer Name Dozent
1 150324 Model Checking Zeume, Thomas
2 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
3 150345 Logik in der Informatik Zeume, Thomas
4 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
5 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
6 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
7 150537 Seminar zur Kryptographie Leander, Gregor
8 150539 Seminar Symetric Cryptography Leander, Gregor
9 150560 Seminar zur Real World Cryptoanalysis May, Alexander
10 500004 Theoretische Informatik Kiltz, Eike

Page: