[Logo Theoretical Computer Science][Go to the page of the University of Mannheim]

Seminar (WS 04/05)
Stefan Lucks

Zeit und Ort

Ab 20. Januar:

Nach Absprache kann das Seminar auch als Blockseminar abgehalten werden.

Inhalt

Das Seminar untergliedert sich in 2 Themengebiete:

Kryptographie

Interessenten an der Kryptographie sollen einen (ausführlichen) Vortrag zu einem aktuellen Forschungsthema aus der Kryptographie halten.

Voraussetzung: Vorlesung Kryptographie

Implementieren von Sicherheitsalgorithmen mit SPARK

Interessenten am Projektseminar halten zu Beginn der Vorlesungszeit einen (kurzen) Vortag zu SPARK (1-2 Kapitel aus John Barnes: High Integrity Software: The SPARK Approach to Safety and Security), und stellen gegen Ende der Vorlesungszeit im Rahmen eines weiteren kurzen Vortrags eine Beispiel-Implementation eines Sicherheitsalgorithmus in SPARK vor.

Voraussetzung: Kenntnisse in Ada95 z.B. aus der Vorlesung Softwareentwicklung für sichere Systeme.

Zu der Homepage von Stefan Lucks

Last modified: 2004/06/04

[Start-Page] [Information about the chair] [Teaching Information] [Research Information] [Information about the People of this chair] [Prüfungsausschuss-Informationen] [Send a Mail]
[This Document is valid XHTML 1.0!] [This Document uses valid CSS!] [Level Double-A conformance icon, W3C-WAI Web Content Accessibility Guidelines 1.0] [c't-check of WCAG onformance icon, W3C-WAI Web Content Accessibility Guidelines 1.0]