Bundled Authenticated Key Exchange: A Concrete Treatment of Signal's Handshake Protocol and Post-Quantum Security

Keitaro Hashimoto

34th USENIX Security Symposium (USENIX Security '25) · Day 3 · Crypto 4: Systems and Protocols