ML-KEM

Apple has open-sourced quantum-resistant cryptographic code and formal verification tools to ensure algorithm correctness, including ML-KEM and ML-DSA. The code is integrated into Apple's corecrypto library, used across 2.5 billion devices, and deployed in iMessage, VPN, and TLS. Formal verification tools like the Cryptol-to-Isabelle translator were used to mathematically prove code accuracy.

A new ransomware family named Kyber claims to use quantum-safe encryption via ML-KEM, a lattice-based key encapsulation mechanism endorsed by the National Institute of Standards and Technology (NIST). Kyber's approach aims to resist attacks from quantum computers, positioning it as a successor to vulnerable RSA and Elliptic Curve cryptosystems.