sfXHMQV: Better Efficiency and Stronger Security for Signal's Initial Handshake based on HMQV

Ask about this paper

Ask your agent about it.

Lune has read the top-tier papers around this one, so every answer names the papers it rests on.

Related papers

• A Formal Analysis of Signal's Sparse Post-Quantum Ratchet Protocol and its ImplementationKarthikeyan Bhargavan, Maxime Buyse, Graeme Connell, Franziskus Kiefer et al.CCS 2026
• Bundled Authenticated Key Exchange: A Concrete Treatment of Signal's Handshake Protocol and Post-Quantum SecurityKeitaro Hashimoto, Shuichi Katsumata, Thom WiggersUSENIX Security 2025
• AuthLoop: End-to-End Cryptographic Authentication for Telephony over Voice ChannelsBradley Reaves, Logan Blue, Patrick TraynorUSENIX Security 2016 · 40 citations
• Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messagingKarthikeyan Bhargavan, Charlie Jacomme, Franziskus Kiefer, Rolfe SchmidtUSENIX Security 2024 · 27 citations
• Asymmetric PAKE with Low Computation and communicationBruno Freitas Dos Santos, Yanqi Gu, Stanislaw Jarecki, Hugo KrawczykEUROCRYPT 2022 · 22 citations