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

Session

Verification Formelle

VF

10 juin 2021, 10:00

En Ligne

Présidents de session

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

• Lucca Hirschi (Inria)
• Vincent Cheval (Inria)

Description

Exposés longs de Vérification Formelle

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

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

10/06/2021 10:00