Mastodon Feed
Reblogged by nadim@infosec.exchange ("Nadim Kobeissi"):
cryspen@ioc.exchange ("Cryspen") wrote:
We are thrilled to share that we've teamed up with Google to create formally verified implementations of NIST's post-quantum algorithms. These open-source solutions will offer robust security guarantees, high performance, and are designed for widespread adoption.
Read the full blog post here: https://bughunters.google.com/blog/6038863069184000/formally-verified-post-quantum-algorithms
#cryptography #postquantumcryptography #opensource #cybersecurity