Nummer Name Dozent
1 150322 Datenstrukturen und Algorithmen Buchin, Maike
2 150324 Model Checking Zeume, Thomas
3 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
4 150345 Logik in der Informatik Zeume, Thomas
5 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
6 150520 Seminar über Grenzen in der theoretischen Informatik Zeume, Thomas
7 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
8 150537 Seminar zur Kryptographie Leander, Gregor
9 150539 Seminar Symetric Cryptography Leander, Gregor
10 150560 Seminar zur Real World Cryptoanalysis May, Alexander

Page: