ML-KEM — Web Pulse coverage

Post-quantum cryptography for embedded and IoT: secure boot, TLS and OTA :: https://wpnews.pro/news/post-quantum-cryptography-for-embedded-and-iot-secure-boot-tls-and-ota
A blueprint for formal verification of Apple corecrypto :: https://wpnews.pro/news/a-blueprint-for-formal-verification-of-apple-corecrypto
Post-quantum encryption for Cloudflare IPsec is generally available :: https://wpnews.pro/news/post-quantum-encryption-for-cloudflare-ipsec-is-generally-available