cd/entity/ML-KEM· home entities ML-KEM
grep -l @ml-kem /news/*.json | wc -l → 23

ML-KEM

mentions 23 type Organization page 2/2 feed RSS

// recent coverage 23 mentions

18:52
2026-05-22
security.apple.com
cybersecurity

A blueprint for formal verification of Apple corecrypto

Apple has published formal mathematical proofs verifying the correctness of its quantum-secure ML-KEM and ML-DSA cryptographic implementations in its corecrypto library, which secures over 2.5 billion…

← prev page 2 / 2
// co-occurs with top 8 entities
// topics top 6 topics