Apple publishes corecrypto with formal verification proofs for quantum-secure ML-KEM and ML-DSA algorithms
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…
Read the full articleYou might also wanna read
iOS 26 adds post-quantum ML-DSA keys in Secure Enclave; Android support remains partial
Apple's iOS 26 introduced hardware-backed ML-DSA post-quantum signing keys inside the Secure Enclave, using a familiar CryptoKit API that ti
Formally verified AES-XTS: The first AES algorithm to join s2n-bignum
Simplifying and clarifying the assembly code for core operations enabled automated optimization and verification.
Verification of Quantum Computations: Hardware-Efficient Security Proofs
How can a user with limited quantum resources verify the output of an untrusted, fully quantum server? This manuscript provides a conceptual
iq.fp2.dev·9d agoBitGo Completes Quantum MPC Simulation With FIPS 204 Standard
BitGo has completed a quantum-resistant MPC (Multi-Party Computation) simulation using the FIPS 204 standard, marking a step toward protecti
MPC in the Quantum Head (or: Superposition-Secure (Quantum) Zero-Knowledge)
Quantum 10, 2161 (2026). The MPC-in-the-head technique (Ishai et al., STOC 2007) is a celebrated method to build zero-knowledge protocols wi
Why organizations should adopt ML-DSA now rather than wait for next-generation post-quantum signature algorithms
NIST is advancing nine new post-quantum signature algorithms as potential candidates for future standardization. We take a closer look at al
Cloudflare·7d agoWhy organizations should adopt ML-DSA now rather than wait for next-generation post-quantum signature algorithms
NIST is advancing nine new post-quantum signature algorithms as potential candidates for future standardization. We take a closer look at al
blog.cloudflare.com·7d ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.