Fachgebiet CDC

• 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

Emmy Noether Research Group Minimizing Cryptographic Assumptions (MiniCrypt)

Unsere Java Cryptography Library: FlexiProvider

Unser Spin Off: FlexSecure (www .flexsecure.de)