Amazon released a formally verified, open-source implementation of ML-KEM, the NIST-standardized post-quantum cryptography algorithm (FIPS-203). The work protects against "store now, decrypt later" attacks by enabling secure communication on classical computers against future quantum threats. The implementation prioritizes security assurance and minimal computational cost.
Infrastructure
Verifying and optimizing post-quantum cryptography at Amazon
Amazon open-sources formally verified ML-KEM, making post-quantum cryptography production-ready to protect today's encrypted data from retroactive quantum decryption attacks.
Tuesday, April 7, 2026 12:00 PM UTC2 MIN READSOURCE: Amazon ScienceBY sys://pipeline
Tags
infrastructure
/// RELATED
SafetyApr 7
A Cryptography Engineer’s Perspective on Quantum Computing Timelines
Google and Oratomic's research drastically accelerates the quantum cryptography threat timeline, pushing the post-quantum migration deadline to 2029 instead of decades away—forcing immediate infrastructure overhaul despite implementation complexity.
InfrastructureApr 7
OpenSSH begins warning for non-PQC key exchanges
OpenSSH 10.1 defaults to quantum-resistant mlkem768x25519-sha256 and warns against legacy key exchanges vulnerable to future quantum decryption of stored traffic.