What we do (Chair Johannes Buchmann):
- Number Theory:
- Algorithms for problems in algebraic number theory
- Cryptography:
- development
- implementation
- formal verification
- analysis, in particular for the age of quantum computers
- Public-Key Infrastructures:
- easy to use
- easy to integrate into workflows
- cryptography easy to replace
Emmy Noether Research Group Minimizing Cryptographic Assumptions (MiniCrypt)
Our Java Cryptography Library: FlexiProvider
Our Spin Off: FlexSecure
