🆕⚛️🔐 Starting with iOS 26, CryptoKit gets support for quantum-secure cryptography with algorithms such as ML-KEM, ML-DSA and HPKE with X-Wing:
https://developer.apple.com/documentation/cryptokit/using-the-quantum-secure-apis
👉 Join us for a session on how to protect your app's user data from the emerging threat of quantum computing!
https://developer.apple.com/videos/play/wwdc2025/314
At WWDC, we unveiled formally verified ML-KEM and ML-DSA #PostQuantum implementations in CryptoKit.
🆕🎥 Last month at Hexagon in Paris, we provided additional insights into the mechanisms used for verifying the implementations using Cryptol, SAW and Isabelle.
The talk also covers the evolution of the Secure Page Table Monitor, a view into Memory Integrity Enforcement, updates to Apple Security Bounty… and a note on the moral character of offensive security work.
Frédéric Jacobs
Deirdre Connolly¹
Jan Lehnardt 