Nummer Name Dozent
1 150560 Seminar zur Real World Cryptoanalysis May, Alexander
2 150542 Seminar on Knowledge Graphs Acosta Deibe, Maribel
3 150539 Seminar Symetric Cryptography Leander, Gregor
4 150537 Seminar zur Kryptographie Leander, Gregor
5 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
6 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
7 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
8 150353 Zero-Knowledge Proof Systems Fleischhacker, Nils
9 150351 Symmetric Cryptanalysis Leander, Gregor
10 150345 Logik in der Informatik Zeume, Thomas

Page: