U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

Computer Security Resource Center

Computer Security Resource Center

This is an archive
(replace .gov by .rip)
    Presentations 2021
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