|
|
Nummer
|
Name
|
Dozent
|
|
1
|
500004
|
Theoretische Informatik
|
Kiltz, Eike
|
|
2
|
150560
|
Seminar zur Real World Cryptoanalysis
|
May, Alexander
|
|
3
|
150539
|
Seminar Symetric Cryptography
|
Leander, Gregor
|
|
4
|
150537
|
Seminar zur Kryptographie
|
Leander, Gregor
|
|
5
|
150521
|
Fortgeschrittene Themen des Model Checking
|
Zeume, Thomas
|
|
6
|
150520
|
Seminar über Grenzen in der theoretischen Informatik
|
Zeume, Thomas
|
|
7
|
150357
|
Boolesche Funktionen mit Anwendungen in der Kryptographie
|
Leander, Gregor
|
|
8
|
150345
|
Logik in der Informatik
|
Zeume, Thomas
|
|
9
|
150326
|
Introduction to Asymmetric Cryptanalysis
|
May, Alexander
|
|
10
|
150324
|
Model Checking
|
Zeume, Thomas
|