Apple Security Research

security.apple.com

Hear about the latest advances in Apple security from our engineering teams, send us your own research, and work directly with us to be recognized and rewarded for helping keep our users safe.

Popular posts: 8
Total points: 3,097
HN comments: 1,526
Rank: #383 company

Visit security.apple.com → RSS feedOn Hacker News Oct 2022 – Sep 2026

Security & Privacy 8 Systems & Performance 2 AI & Machine Learning 2 Software Engineering 1 Networking & Internet 1 Tech Industry & Business 1

Most points Most discussed Most cited Newest

A blueprint for formal verification of Apple corecrypto

2026120 points15 comments Security & Privacy details

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…