XHMQV: Better Efficiency and Stronger Security for Signal's Initial Handshake based on HMQVRune FiedlerFelix Güntheret al.2025CRYPTO 2025
Verifiable Decapsulation: Recognizing Faulty Implementations of Post-Quantum KEMsLewis GlabushFelix Güntheret al.2025CRYPTO 2025