CDC

Theoretische Informatik - Kryptographie und Computeralgebra

Kryptographie ist ursprünglich die Wissenschaft der Verschlüsselung von Informationen. Heute befassen sich Kryptographen mit elektronischen Unterschriften, Hashfunktionen, Identifikationsverfahren und vielem mehr. Die SSL Verbindung zu Ihrer Bank, der Funkschlüssel Ihres Autos oder das aktuelle Softwareupdate, bei all diesen Prozessen wird die Sicherheit im Hintergrund von kryptographischen Verfahren gewährleistet.

In unserer Arbeitsgruppe befassen wir uns mit verschiedenen Facetten der modernen Kryptographie. Ein Schwerpunktthema unserer Gruppe ist die Entwicklung neuer Verfahren, die Sicherheit auch dann noch gewährleisten, falls es gelingt mit Quantencomputern klassische Verfahren wie RSA zu brechen. In diesem Rahmen befassen wir uns auch mit der praktischen Kryptanalyse solcher Post-Quantum-Verfahren, also praktische Angriffen, mit deren Hilfe man die Großenordnung nutzbarer Parameter einschätzen kann. Ein weiterer Teil unserer Gruppe befasst sich mit der Entwicklung sicherer elektronischer Wahlsysteme. Des Weiteren befassen wir uns mit der Langfristigen Sicherheit kryptographischer Verfahren und der Benutzerfreundlichkeit von kryptographischer Software im Allgemeinen.

Aufbau

Zahlentheorie:
- Algorithmen für Probleme der Zahlentheorie
Kryptographie:
- Entwicklung
- Implementationen
- formale Verifikation
- Analysis, speziell für das Zeitalter der Quantencomputer
Public-Key Infrastrukturen:
- einfach im Gebrauch
- einfach in den Arbeitsablauf zu integrieren
- einfach zu ersetzende Kryptographie
- Usability Aspekte
Elektronische Wahlen / Internetwahlen:
- Anforderungsanalyse
- Evaluation und Zertifizierung
- Usability Aspekte
- Protokollanalyse