Apple open-sources quantum-resistant encryption code
Apple open-sources quantum-resistant encryption code and verification tools.
Apple has released its quantum-resistant cryptographic code, including implementations of ML-KEM and ML-DSA algorithms, and the formal verification tools used to prove the code's correctness. The release aims to promote broader use of quantum-resistant cryptography and enable independent review. Apple also disclosed that formal verification caught a bug in the ML-DSA code that traditional testing would have missed.
AI summary of the linked source. Not reviewed by an editor. How this works
Run Apple?
Get an email when a new story names Apple, usually within the hour.
Free. Your list stays private and never appears in a subject line. One click stops it. How Vendor Watch worksPrivacy
What helps against this
How we list vendors
- Encryption and key management
Stolen data stays unreadable, and the keys stay under your control.