Groupes de travail 2013
Réunions et Visites 2013
- 2 Janvier au 2 Février 2013: Visite de Dominique Unruh au LSV (professeur invité) - automatisation de propriétés d'équivalence en utilisant ProVerif
Participants: Stéphanie Delaune, et Dominique Unruh.
- 29 Janvier 2013: Réunion de travail à Cachan sur la mise au point d'un outil pour la vérification de propriétés d'équivalence
Participants: Rémy Chrétien, Véronique Cortier, Stéphanie Delaune, et Géraud Sénizergues.
- 6 Mars 2013: Réunion de travail à Cachan sur la mise au point d'un algorithme et d'un outil pour la vérification en présence d'opérateurs AC
Participants: David Baelde, Stéphanie Delaune, et Steve Kremer.
- 14 Mars 2013: Réunion de travail à Nancy dans le cadre de la thèse de Rémy Chrétien
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune.
- 22 Mai 2013: Réunion de travail à Cachan sur la mise au point d'un algorithme et d'un outil pour la vérification en présence d'opérateurs AC
Participants: David Baelde, Stéphanie Delaune, et Steve Kremer.
- 24 Mai 2013: Réunion de travail à Cachan dans le cadre de la thèse de Rémy Chrétien
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune.
- 4 Juillet 2013: Réunion de travail à Nancy sur la mise au point d'un algorithme et d'un outil pour la vérification en présence d'opérateurs AC
Participants: David Baelde, Stéphanie Delaune, et Steve Kremer.
- 5 Juillet 2013: Réunion de travail à Nancy dans le cadre de la thèse de Rémy Chrétien
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune.
- 15 Juillet au 26 Juillet 2013: Visite de Mark Ryan (invité Digiteo) et Vincent Cheval - modélisation d'un attaquant malicieux mais prudent
Participants: Vincent Cheval, Stéphanie Delaune, et Mark Ryan.
- 16 Octobre 2013: Réunion de travail à Nancy dans le cadre de la thèse de Rémy Chrétien
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune.
- 21 Novembre 2013: Réunion de travail à Cachan sur la mise au point d'un algorithme et d'un outil
pour la vérification en présence de l'opérateur ou exclusif
Participants: David Baelde, Stéphanie Delaune, et Steve Kremer.
- 27 Novembre 2013: Réunion de travail à Cachan dans le cadre de la thèse de Rémy Chrétien
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune.
Page maintained by
Stéphanie Delaune.
Last modified:
1 January 1970.