La vérification formelle appliquée aux protocoles cryptographiques

Stéphanie Delaune LSV Cachan

Algorithmes, machines et langages (2007-2019)  / En relation avec le sujet du cours
06 avril 2016 17:30 18:30 Séminaire Amphithéâtre Maurice Halbwachs - 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