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

Page: