Verifiable Decapsulation: Recognizing Faulty Implementations of Post-Quantum KEMs
- Lewis Glabush
- Felix Günther
- et al.
- 2025
- CRYPTO 2025
Publications
7 results for Felix Günther
Hybrid Obfuscated Key Exchange and KEMs
- Felix Günther
- Michael Rosenberg
- et al.
- 2025
- CRYPTO 2025
XHMQV: Better Efficiency and Stronger Security for Signal's Initial Handshake based on HMQV
- Rune Fiedler
- Felix Günther
- et al.
- 2025
- CRYPTO 2025
Key Derivation Functions Without a Grain of Salt
- Matilda Backendal
- Sebastian Clermont
- et al.
- 2025
- Eurocrypt 2025
Obfuscated Key Exchange
- Felix Günther
- Douglas Stebila
- et al.
- 2024
- CCS 2024
A Formal Treatment of End-to-End Encrypted Cloud Storage
- Matilda Backendal
- Hannah Davis
- et al.
- 2024
- CRYPTO 2024
Verifiable Verification in Cryptographic Protocols
- Marc Fischlin
- Felix Günther
- 2023
- CCS 2023