devtake.dev — #formal-verificationArticles tagged formal-verification on devtake.dev.https://devtake.dev/en-usApple shipped formal proofs for its post-quantum crypto. 2.5 billion devices now run verified code.https://devtake.dev/article/apple-corecrypto-formal-verification/https://devtake.dev/article/apple-corecrypto-formal-verification/Apple's SEAR team published formal verification proofs for corecrypto's ML-KEM and ML-DSA implementations. 50,000 proof steps cover 2.5 billion active devices.Sat, 23 May 2026 09:15:00 GMTsecurityapplecorecryptopost-quantumcryptographyformal-verificationsecurityml-kemluca-reinhardt