Nummer Name Dozent
1 150353 Zero-Knowledge Proof Systems Fleischhacker, Nils
2 150232 Number Theory Reineke, Markus
3 150302 Theoretische Informatik Buchin, Maike
4 150351 Symmetric Cryptanalysis Leander, Gregor
5 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
6 150539 Seminar Symetric Cryptography Leander, Gregor
7 150560 Seminar zur Real World Cryptoanalysis May, Alexander
8 150537 Seminar zur Kryptographie Leander, Gregor
9 150562 Seminar Satisfiability Zeume, Thomas
10 150542 Seminar on Knowledge Graphs Acosta Deibe, Maribel
11 150318 Quantum Algorithms May, Alexander
12 150277 Public Key Encoding Fleischhacker, Nils
13 211006 Praktikum zur Kryptanalyse May, Alexander
14 150306 Post quantum cryptography Kiltz, Eike
15 150324 Model Checking Zeume, Thomas
16 150116 Mathematics 4 Püttmann, Annett
17 150114 Mathematics 3 Lipinski, Mario
18 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
19 150112 Mathematics 2 Lipinski, Mario
20 150128 Mathematik 1 für Informatik und ITS (PO 20) Leander, Gregor
21 150110 Mathematics 1 Püttmann, Annett
22 150345 Logik in der Informatik Zeume, Thomas
23 150343 Cryptographic Protocols Kiltz, Eike
24 150312 Cryptography Kiltz, Eike
25 150262 Komplexitätstheorie Zeume, Thomas
26 150336 Knowledge Graphs Acosta Deibe, Maribel
27 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
28 150310 Introduction to Theoretical Computer Science May, Alexander
29 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
30 150320 Efficient Algorithms Kacso, Daniela
31 150308 Discrete Mathematics Schuster, Björn
32 150332 Deep Learning Fischer , Asja
33 150322 Datenstrukturen und Algorithmen für ITS (PO 20) Buchin, Maike
34 150304 Database Systems Korthauer, Edgar
35 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
36 150334 Automata Theory Zeume, Thomas

Page: