Formally Verified (Post-Quantum) Cryptography, by Gilles Barthe (MPI-SP)
Barthe
Gilles
The NIST Post-Quantum Standardization program (2016-ongoing) aims to standardize a new generation of cryptographic algorithms resistant against quantum attackers.The talk will report and reflect on