Research Topics
- Secure communication
- Public key cryptography
- Key exchange protocols
- Encryption schemes
- Digital signatures
Research Projects
Current Projects
05/2023 - 04/2026

Resilience Meets Secure Networked Control
??/2022 - ??/2025

??/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