Barthe, Gilles (1967-....)
Allemagne
France
Date de naissance
1967
Langues d'expression
anglais
français
Informaticien. Directeur de recherche, Max-Planck-Institut für Sicherheit und Privatsphäre (MPI-SP), Bochum, Allemagne (2025)
Disciplines liées à ses interventions
Mots-clés liés à ses interventions
Vidéos
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