Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.


Fast verified post-quantum software, part 1: RAM subroutines

June 9, 2021


Daniel Bernstein - University of Illinois at Chicago; Ruhr University Bochum


Cryptographic software is a security disaster, even when there are no public breaks of the cryptographic primitives that the software is supposed to be providing. This problem isn’t specific to post-quantum cryptography, as the SymCrypt and Minerva vulnerabilities show; but post-quantum cryptography makes the problem worse.

Event Details



Related Topics

Security and Privacy: post-quantum cryptography

Created June 09, 2021, Updated June 10, 2021