Nummer Name Dozent
1 211006 Praktikum zur Kryptanalyse May, Alexander
2 150562 Seminar Satisfiability Zeume, Thomas
3 150560 Seminar zur Real World Cryptoanalysis May, Alexander
4 150542 Seminar on Knowledge Graphs Acosta Deibe, Maribel
5 150539 Seminar Symetric Cryptography Leander, Gregor
6 150537 Seminar zur Kryptographie Leander, Gregor
7 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
8 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
9 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
10 150353 Zero-Knowledge Proof Systems Fleischhacker, Nils
11 150351 Symmetric Cryptanalysis Leander, Gregor
12 150345 Logik in der Informatik Zeume, Thomas
13 150343 Cryptographic Protocols Kiltz, Eike
14 150336 Knowledge Graphs Acosta Deibe, Maribel
15 150334 Automata Theory Zeume, Thomas
16 150332 Deep Learning Fischer , Asja
17 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
18 150324 Model Checking Zeume, Thomas
19 150322 Datenstrukturen und Algorithmen für ITS (PO 20) Buchin, Maike
20 150320 Efficient Algorithms Kacso, Daniela

Page: