Verified Implementations for Real-World Cryptographic Protocols

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
Les cours et séminaires sont gratuits, en accès libre, sans inscription préalable.
La Lettre du Collège
La Lettre du Collège
Contacts
Intranet
Fondation
Salamandre
Informations légales