U.S. flag   An official website of the United States government
Dot gov

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

Https

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

Presentation

Formal Verifcation of Post-Quantum Cryptography

June 7, 2021

Presenters

Matthias Meijers - Eindhoven University of Technology

Description

In this talk we will discuss the state of the formal verification of the two NIST PQC standardization process submissions Kyber and Saber.

Event Details

Location

    
                            

Related Topics

Security and Privacy: post-quantum cryptography

Created June 07, 2021, Updated June 10, 2021