💬🔒⚛️ Delighted to announce iMessage PQ3, our formally-verified protocol for end-to-end encryption that provides the strongest post-quantum protections against “Harvest Now, Decrypt Later” attackers by not only performing a quantum-secure key establishment, but also performing post-quantum ongoing rekeying.

Support for PQ3 will start to roll out with the public releases of iOS 17.4, iPadOS 17.4, macOS 14.4, and watchOS 10.4
https://security.apple.com/blog/imessage-pq3/

Blog - iMessage with PQ3: The new state of the art in quantum-secure messaging at scale - Apple Security Research

We are introducing PQ3, a groundbreaking cryptographic protocol for iMessage that advances the state of the art of end-to-end secure messaging. With compromise-resilient encryption and extensive defenses against even highly sophisticated quantum attacks, PQ3 provides protocol protections that surpass those in all other widely deployed messaging apps.

Blog - iMessage with PQ3: The new state of the art in quantum-secure messaging at scale - Apple Security Research

iMessage PQ3’s announcement is accompanied by two external security reviews of the protocol.

Douglas Stebila (University of Waterloo) focused on so-called game-based proofs (1), while David Basin, @felixlinker and Ralf Sasse (ETH Zürich) worked on symbolic evaluation of the protocol using Tamarin (2).

📝 1: https://security.apple.com/assets/files/Security_analysis_of_the_iMessage_PQ3_protocol_Stebila.pdf
📝2: https://security.apple.com/assets/files/A_Formal_Analysis_of_the_iMessage_PQ3_Messaging_Protocol_Basin_et_al.pdf

I was thrilled to present “Designing iMessage PQ3: Quantum-Secure Messaging at Scale" at #RealWorldCrypto last month
https://www.youtube.com/watch?v=RVbHElGe518
Designing iMessage PQ3: Quantum-Secure Messaging at Scale (RWC 2024)

YouTube
The Formal Analysis of Apple's iMessage PQ3 Protocol was accepted at the USENIX Security Symposium
https://www.usenix.org/conference/usenixsecurity25/presentation/linker
A Formal Analysis of Apple's iMessage PQ3 Protocol | USENIX