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

Page: