devtake.dev
AI Security Hardware Open Source Policy Apple

#cryptography

RSS
Related: #post-quantum · 3 #security · 3 #ml-kem · 2 #apple · 1 #corecrypto · 1 #encryption · 1 #formal-verification · 1 #gnupg · 1 #google · 1 #kyber · 1
Apple Security Research site banner card.
Security·

Apple shipped formal proofs for its post-quantum crypto. 2.5 billion devices now run verified code.

Apple's SEAR team published formal verification proofs for corecrypto's ML-KEM and ML-DSA implementations. 50,000 proof steps cover 2.5 billion active devices.

GnuPG and OpenPGP key icon over an abstract lattice background.
Security·

GnuPG 2.5.19 lands ML-KEM in mainline. Post-quantum OpenPGP is no longer a side branch.

Werner Koch shipped GnuPG 2.5.19 on April 24 with FIPS-203 ML-KEM, the first stable post-quantum encryption algorithm in OpenPGP. Here's what changed and what didn't.

Google's social card for the post-quantum cryptography migration blog post
Web·

Google just moved 'Q-Day' to 2029. Here's what that changes for your crypto stack

Google's security team says cryptographically-relevant quantum computers could arrive by 2029, six years before the NSA's 2031 deadline. What to migrate, and in what order.