Apple makes its quantum-resistant encryption open source
ID: 2379463a-879a-56f4-b7f7-7ad4cecc8519
STIX ID: report--2379463a-879a-56f4-b7f7-7ad4cecc8519
Feed Name: Help Net Security
Apple published its post-quantum cryptography implementations for the corecrypto library along with formal verification artifacts and tools to enable independent expert review. The company validated NIST-standardized ML-KEM and ML-DSA implementations through testing, simulation, independent review, and a custom formal verification pipeline (including a Cryptol-to-Isabelle translator and ARM64 assembly libraries), found and fixed a rare ML-DSA implementation bug, and emphasized combining formal verification with conventional methods.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.