Browsing Tag
Post-Quantum Cryptography
2 posts
Post-quantum cryptography standards, migrations, products, and security implications.
Google’s AlphaProof Code Verified Signal at Machine-Code Level
DeepMind used AI agents to verify key Signal guarantees in compiled AArch64 code. Here is what the proof covers, how it caught old bugs and what remains outside scope.
Cloudflare Plans a Post-Quantum Certificate Authority: What Changes for HTTPS
Cloudflare plans to issue free classical and post-quantum certificates in 2027. Here is how Merkle Tree Certificates work and what website teams should prepare now.