AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore how formally verified post-quantum cryptographic algorithms are being implemented at scale in this 20-minute talk from Real World Crypto (RWC) 2025. Presented by Andres Erbsen and Lucas Franceschino, this presentation was featured as the fourth talk in the PQ Deployment session chaired by Bo-Yin Yang. The speakers discuss practical approaches to deploying quantum-resistant cryptographic solutions that have undergone formal verification processes, ensuring their security and reliability for large-scale applications. For those interested in the cutting edge of cryptographic implementation in preparation for quantum computing threats, this talk provides valuable insights from leading researchers in the field. Additional information, including abstracts and contributing authors, can be found on the official RWC 2025 program website.
