11:00 à 12:00
Séminaire
Comment prouver la sécurité des protocoles cryptographiques ?
Véronique Cortier
11:00 à 12:00