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

Session

Verification Formelle

VF

Jun 10, 2021, 10:00 AM

En Ligne

Conveners

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)

6/10/21, 10:00 AM