Werkzeuge für die Entwicklung sicherer Software und die Analyse kryptographischer Algorithmen

Laborprojekt

Projektleiter: Prof. Dr. Stefan Lucks

Die Entwicklung sicherer und zuverlässiger Systeme ist aufwändig undschwierig, kann aber mit Hilfe geeigneter Werkzeuge vereinfacht werden.Bei diesem Projekt geht es konkret um die (Weiter-)Entwicklung derartigerWerkzeuge.

• Die Weiterentwicklung eines Verifizierers für Annotationen in der Programmiersprache Ada. Derartige Annotationen können z.B. Zusicherungen beinhalten, die an bestimmten Stellen des Programms erfüllt sein müssen, oder auch Aussagen wie "diese Funktion ändert nicht den Inhalt globaler Variablen" oder "diese Prozedur löst keine Ausnahmen aus".

• Die Entwicklung von Werkzeugen, um systematisch nach Schwächen in kryptographischen Hashfunktionen zu suchen.

Ablauf:

Termin wird zur Projektbörse bekannt gegebenOrt: Mediensicherheitslabor, Raum K19, Bauhausstraße 11

Zielgruppe: Mediensysteme B.Sc. und M.Sc.

Termine (Ort: Mediensicherheitslabor):

• Vorbesprechung: xx.10.2008 (xx Uhr)

Materialien/Unterlagen:

Weiter Informationen: