Formally Verified (Post-Quantum) Cryptography, by Gilles Barthe (MPI-SP)
Fields of Study & Subjects
Cryptography and Data Security
Logic
programming
and type systems
Cryptographic Implementations and Security
Publication details
- Journal / source
- Fondation Maison des sciences de l'homme
- Publication date
- 8 January 2026
- Language
- FR