Nummer Name Dozent
1 150240 Theoretische Informatik Buchin, Maike
2 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
3 150539 Seminar Symetric Cryptography Leander, Gregor
4 150560 Seminar zur Real World Cryptoanalysis May, Alexander
5 150537 Seminar zur Kryptographie Leander, Gregor
6 150562 Seminar Satisfiability Zeume, Thomas
7 150324 Model Checking Zeume, Thomas
8 150116 Mathematics 4 Püttmann, Annett
9 150114 Mathematics 3 Lipinski, Mario
10 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
11 150112 Mathematics 2 Lipinski, Mario
12 150128 Mathematik 1 für Informatik und ITS (PO 20) Leander, Gregor
13 150110 Mathematics 1 Püttmann, Annett
14 150345 Logik in der Informatik Zeume, Thomas
15 150312 Cryptography Kiltz, Eike
16 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
17 150310 Introduction to Theoretical Computer Science May, Alexander
18 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
19 150308 Discrete Mathematics Schuster, Björn
20 150322 Datenstrukturen und Algorithmen für ITS (PO 20) Buchin, Maike
21 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor

Page: