Groupes de travail 2014
- 18 Mars 2014: Réunion CAPPRIS (Paris)
Stéphanie Delaune : APTE: an automatic tool for verifying privacy-type security properties - 20 Mars 2014: Groupe de Travail (Parsifal)
Lucca Hirschi : A reduced semantics for deciding trace equivalence using constraint systems - 1 Avril 2014: Séminaire (CEA)
Lucca Hirschi : A reduced semantics for deciding trace equivalence using constraint systems - 16 Avril 2014: Groupe de Travail (Cachan)
Rémy Chrétien : Typing messages for free in security protocols: the case of equivalence properties - 21 Mai 2014: Groupe de Travail (Cachan)
Lucca Hirschi : Partial order reduction for the applied pi-calculus - 19 Juin 2014: Séminaire PPS (Paris)
Lucca Hirschi : Partial order reduction for the applied pi-calculus - 26 Juin 2014: Groupe de Travail ? l'INS2I (Paris)
Stéphanie Delaune : Les protocoles cryptographiques: sommes-nous bien protégés ? - 2 Juillet 2014: S?minaire Digicosme (Saclay)
Lucca Hirschi : Partial order reduction for the applied-calculus - 13 Novembre 2014: Séminaire Chocola (Lyon)
Lucca Hirschi : Partial order reduction for the applied pi-calculus
Réunions et Visites 2014
- 26 Février 2014: 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. - 7 Mai 2014: 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. - 23 Juin 2014: 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. - 28 Octobre 2014 : 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.
Page maintained by Stéphanie Delaune.
Last modified: 1 January 1970.
