---
id: 1082
title: "Formally Verified Post-Quantum Algorithms"
source_domain: bughunters.google.com
source_url: "https://bughunters.google.com/blog/formally-verified-post-quantum-algorithms"
published_at: "2024-08-19 00:00"
tags: ["cryptography", "post-quantum", "nist", "google", "formal-verification", "cryspen"]
phying_url: "https://phying.com/item/1082"
lang: en
---

# Formally Verified Post-Quantum Algorithms

## Summary

Google partners with Cryspen to produce formally verified implementations of the NIST-selected post-quantum algorithms, strengthening confidence in PQC implementations as the standards roll out.

## Intelligence Metadata

- **Sources:** bughunters.google.com
- **Published:** 2024-08-19 00:00
- **Original:** https://bughunters.google.com/blog/formally-verified-post-quantum-algorithms
- **Phying News:** https://phying.com/item/1082