Research Topics
- Secure communication
- Public key cryptography
- Key exchange protocols
- Encryption schemes
- Digital signatures
Research Projects
Current Projects
??/2022 - ??/2025
Foundations of Secure Storage for Encrypted Instant Messaging
07/2021 - 07/2024
Foundations of Smart Encryption
07/2021 - 07/2024
AutoSCA
Automatisierte Schwachstellenanalyse von kryptographischen Protokollen
05/2020 - 04/2023
Past Projects
04/2017 - 04/2022
10/2017 - 03/2021
REZEIVER - Realistische zeitbasierte Verschlüsselung
01/2017 - 12/2020
Tight Reductions in Cryptography
10/2016 - 09/2019
KMU - Einfach sicher
04/2019 - 09/2019
Industrial Automation Platform for Big Data - IAP
04/2019 - 09/2019
