Hauptseminar

Security: zwischen formalen Methoden und Praxis

Veranstalter: Prof. Helmut Veith, Dr. Stefan Katzenbeisser, Dipl.-Ing. Christian Schallhart

Themenliste:

12. Mai 2004Intrusion detection (Manuel Stürminger) Folien Ausarbeitung
19. Mai 2004Unlinkable Serial Transactions (Philipp Torka) Folien Ausarbeitung
26. Mai 2004CAPSL and NRL (Sebastian Schneider) Folien Ausarbeitung
2. Juni 2004Secure Electronic Transactions (Christian Mauro) Folien Ausarbeitung
9. Juni 2004Secure Multiparty Computation (Daniel Reutter) Folien Ausarbeitung
16. Juni 2004Zero-knowledge proofs (Ulrich Herberg) Folien Ausarbeitung
23. Juni 2004Access control, RBAC (Sebastian Esch) Folien Ausarbeitung
30. Juni 2004Proof carrying code (Tobias Fuchs) Folien Ausarbeitung
7. Juli 2004Attack graphs (Wei Mu) Folien Ausarbeitung
10.Juli 2004Malicious code detection (Oliver Arafat) Folien Ausarbeitung
Mobile code security (Dennis Knorr) Folien Ausarbeitung
BAN logic (Qian Wei) Folien Ausarbeitung
Strand spaces (Denis Kovacs) Folien
Primes is in P (Lauter, Walther) Folien Ausarbeitung