Login

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

Jun 7 – 10, 2021
En Ligne
Europe/Paris timezone

Contact

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

Jun 10, 2021, 10:00 AM
2h
En Ligne

En Ligne

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

Speakers

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

Presentation materials

There are no materials yet.
Powered by Indico v3.3.4