L’École de Jeunes Chercheurs en Informatique Mathématique 2021

Name: L’École de Jeunes Chercheurs en Informatique Mathématique 2021
Start: 2021-06-07T10:00:00+02:00
End: 2021-06-10T14:00:00+02:00
Location: En Ligne

7–10 juin 2021

En Ligne

Fuseau horaire Europe/Paris

Accueil
Programme Scientifique
Ordre du jour
Liste des contributions
Recueil des résumés
Inscription

Contact

olivier.blazy@unilim.fr
gaborit@unilim.fr

Analyse symbolique de protocoles cryptographiques, modélisation logique, et algorithme de vérification

10 juin 2021, 10:00

En Ligne

https://greenlight.lal.cloud.math.cnrs.fr/b/oli-yhz-7hx

Verification Formelle

Dr Lucca Hirschi (Inria)Dr Vincent Cheval (Inria)

Aucun document.

L’École de Jeunes Chercheurs en Informatique Mathématique 2021

Contact

Analyse symbolique de protocoles cryptographiques, modélisation logique, et algorithme de vérification

En Ligne

Orateurs

Documents de présentation