Jahresbericht informatik 2009 - KIT – Fakultät für Informatik

Die Institute der Fakultät und ihre Forschungsvorhaben
Institut für Kryptographie und Sicherheit
Leitung: Dr. J. Müller-Quade (F)
Sekretärin: C. Manietta
Akadem. Oberrat: Dr. W. Geiselmann
Akadem. Mitarbeiter: N. Döttling, C. Henrich, C. Kempka,
D. Kraschewski
Systemprogrammierer: H. Hellmuth
Stipendiat: A. P. Sobreira de Almeida
Lehrbeauftragter: Prof. Dr. D. Lazich
200
Forschungsbereich
Kryptographie und
Sicherheit
Bingo Voting
(C. Henrich, J. Müller-Quade)
Das Projekt Bingo Voting wurde im Jahre 2009 erfolgreich weiter geführt. Eine wichtige
Entwicklung ist die Einführung von Hashketten, mit deren Hilfe die beim Wahlvorgang
erstellten Belege geschützt werden können, um Angriffe zu verhindern, bei denen der Beleg
entwendet wird, um eine Manipulation der entsprechenden Stimme unbemerkt durchführen
zu können.
Ein weiterer Ansatz zur Verbesserung von Bingo Voting ist die Verwendung von modular
aufgebauten Wahlmaschinen. Dabei wird die Wahlmaschine aus einzelnen Modulen so
aufgebaut, dass die einzelnen Module kooperieren müssen, um das Wahlgeheimnis zu brechen.
Wenn die Module von unabhängigen Herstellern bezogen werden, kann damit das
Wahlgeheimnis wirksam geschützt werden. Dieser Ansatz wurde im Rahmen einer
Studienarbeit untersucht.
Clear Termination
(D. Kraschewski, J. Müller-Quade)
Einen Schwerpunkt in der Forschungstätigkeit im Jahr 2009 bildeten
Sicherheitseigenschaften, deren Hauptaugenmerk auf dem Einsatz von vertrauenswürdiger
Hardware liegt. Dabei stellte sich heraus, dass einige etablierte Sicherheitsbegriffe für
Mehrparteien-Berechnungen (insb. sog. "Secure Function Evaluation") z.T. implizite
Annahmen enthalten, die im Falle einer Auslagerung von Subalgorithmen an vertrauenswürdige
Dritte nicht mehr unbedingt gültig sind. Es konnten sogar entsprechende
Sicherheistlücken in bereits vor mehreren Jahren publizierten Protokollen identifiziert werden.