Security Research
Apple Open-Sources Its corecrypto Post-Quantum Cryptography Implementations With Formal Proofs
Apple published the post-quantum cryptography implementations in corecrypto — the library behind iOS, iPadOS, and macOS — alongside formal proofs and verification tools. It does not change today's encryption posture, but it lets outside experts audit the math that will protect tomorrow's.