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

ML-DSA

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…

00:00
2026-05-04
blog.himanshuanand.com
cybersecurity

I Read OpenSSL for Fun and Found a Nonce Leak

The article describes a single-character logic bug discovered in OpenSSL version 4.0.0's implementation of the SLH-DSA post-quantum signature algorithm. The bug occurs in the `slh_dsa_sign()` function…

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