Collège de France
menu
FR
EN
Verified Implementations for Real-World Cryptographic Protocols
FR
EN
Karthikeyan Bhargavan
Sciences du logiciel
/
Sécurité du logiciel : quel rôle pour les langages de programmation ?
31 mars 2022
11:15
12:15
Séminaire
Amphithéâtre Guillaume Budé - Marcelin Berthelot
Télécharger la vidéo
Télécharger l'audio
Support
[5524.0Ko]
en savoir plus