Apple Security Research company blog
A blueprint for formal verification of Apple corecrypto
With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To advance the state of the art for assuring critical software, we're also…
- Points
- 120
- HN comments
- 15
- Submissions
- 1
- Cited by
- 0 commenters
Security & PrivacySoftware Engineering2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 22, 2026 | A blueprint for formal verification of Apple corecrypto by hasheddan | 120 | 15 |
