Ausgewählte Themen des Modellbasierten Sicherheits-Engineerings
Vorträge

Vortragsliste -- vorläufig

Datum	Raum	Zeit	Vortragender	Themen	Material
18. Februar 2013	OH14 304	15:00	Johannes Kowald	Mental Poker and the Millionair's Problem	TBA
18. Februar 2013	OH14 304	16:00	Kim Quermann	MAKS	TBA
18. Februar 2013	OH14 304	17:00	Chris Apfelbeck	Model-basiertes Testen	TBA
18. Februar 2013	OH14 304	18:00	Michael Nimbs	A Domain-Specific Language for Computing on Encrypted Data	TBA
19. Februar 2013	OH14 304	08:00	Malte Burkert	USDL - Universal Service Description Language	TBA
19. Februar 2013	OH14 304	09:00	André Bargull	Einsatz des Modelcheckers GROOVE in der Softwaremodellierung	TBA
19. Februar 2013	OH14 304	10:00	Jens Große-Allermann	ARA	TBA
19. Februar 2013	OH14 304	11:00	Florian Eckey	Fault induction Attacks	TBA

Hinweise

• Die Ausarbeitung und Folien sind durch ein Password geschützt. Dieses erhalten die Seminarteilnehmer separat.
• Es liegt in der Natur eines Seminars, dass es Verschiebungen gibt. Bitte planen Sie genug Reservezeit am Ende des Seminartages ein.
• An beiden Tagen ist eine einstündige Mittagspause geplant.
• Bitte bringen Sie die unterschriebenen Versionen ihrer Ausarbeitung zum ersten Vortrag mit.
• Ein Slot hat folgende Struktur
  • 35 Min Vortrag
  • 15 Min inhaltliche Diskussion
  • 5 Min Bemerkungen zum Vortragstil
  • 5 Min Umbaupause