Security analysis of the iMessage PQ3 protocol

ePrint Report: Security analysis of the iMessage PQ3 protocol

Douglas Stebila

The iMessage PQ3 protocol is an end-to-end encrypted messaging protocol designed for exchanging data in long-lived sessions between two devices. It aims to provide classical and post-quantum confidentiality for forward secrecy and post-compromise secrecy, as well as classical authentication. Its initial authenticated key exchange is constructed from digital signatures plus elliptic curve Diffie–Hellman and post-quantum key exchanges; to derive per-message keys on an ongoing basis, it employs an adaptation …

analysis authentication compromise confidentiality data devices douglas encrypted encrypted messaging end end-to-end eprint report forward imessage messaging post-quantum pq3 protocol quantum report secrecy security security analysis sessions