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
    •  

Partner

CASED - Center for Advanced Security Research Darmstadt 

SecUSo - Security, Usability and Society

Cryptoplexity - Kryptographie und Komplexitätstheorie

CRYPO - Kryptographische Protokolle

Links

Unsere Challenges: Lattice Challenge und SVP Challenge

Unsere Java Cryptography Library: FlexiProvider 

Unser Spin Off: FlexSecure (www .flexsecure.de

A A A | Drucken Drucken | Impressum Impressum | Sitemap Sitemap | Suche Suche | Kontakt Kontakt
zum Seitenanfangzum Seitenanfang