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

Page: