Groupes de travail 2012
- 19 Janvier 2012: Groupe de travail (Cachan)
Stéphanie Delaune : Analysing routing protocols: four nodes topologies are sufficient - 23 Février 2012: Groupe de travail (Cachan)
Vincent Cheval : Proving More Observational Equivalences with ProVerif - 5 Avril 2012: Groupe de travail (Cachan)
Graham Steel : Formal analysis of Yubikey and the YubiHSM - 26 Avril 2012: Groupe de travail (Cachan)
Myrto Arapinis : Reduction of equational theories for verification of trace equivalence: re-encryption, associativity and commutativity - 3 Mai 2012: Groupe de travail (Cachan)
Rohit Chadha : Automated verification of equivalence properties of cryptographic protocols - 24 Mai 2012: Groupe de travail (Cachan)
Vincent Cheval : Verifying privacy-type properties in a modular way - 11 Octobre 2012: Groupe de travail (Cachan)
Stéphanie Delaune : Presentation of the VIP Project - 18 Octobre 2012: Groupe de travail (Cachan)
Vincent Cheval : Tutorial on ProVerif - 7 Novembre 2012: Groupe de travail (Cachan)
Rémy Chrétien : Trace equivalence of protocols for an unbounded number of sessions - 21 Novembre 2012: Groupe de travail (Cachan)
David Baelde : An introduction to Bedwyr: logic programming for protocol verification - 4 Décembre 2012: Séminaire (Cachan)
Alwen Tiu : Towards Generating Compact Proof Certificates for Observational Equivalence - 10 Décembre 2012: Groupe de travail (Cachan)
Myrto Arapinis : New privacy issues in mobile telephony: fix and verification
Réunions et Visites 2012
- 5 Avril 2012: Réunion de travail à Cachan sur les protocoles utilisés dans les transports publics
Participants: Pedro Adao, Stéphanie Delaune, Malika Izabachène, et Graham Steel. - 23 au 27 Avril 2012: Visite de Myrto Arapinis (Birmingham) pour travailler sur la composition
Participants: Myrto Arapinis, Vincent Cheval, et Stéphanie Delaune. - 1 Octobre 2012: Visite de Véronique Cortier (LORIA) à Cachan
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune. - 16 Octobre 2012: Réunion de travail à Cachan sur les protocoles utilisés dans les transports publics
Participants: Stéphanie Delaune, Malika Izabachène, et Graham Steel. - 13 Novembre 2012: Visite de Véronique Cortier (LORIA) à Cachan
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune. - 15 Novembre 2012: Visite de Steve Kremer (LORIA) à Cachan
Participants: Stéphanie Delaune, Apoorvaa Deshpande, et Steve Kremer. - 3 au 7 Décembre 2012: Visite d'Alwen Tiu (Birmingham) pour comparer nos approches/outils pour la vérification de propriétés du type respect de la vie privée
Participants: David Baelde, Vincent Cheval, Stéphanie Delaune, et Alwen Tiu. - 10 au 14 Décembre 2012: Visite de Myrto Arapinis (Birmingham) pour travailler sur la composition
Participants: Myrto Arapinis, Vincent Cheval, et Stéphanie Delaune. - 17 Décembre 2012: Rémy Chrétien et Stéphanie Delaune en visite au LORIA
Participants: Rémy Chrétien, Véronique Cortier, et Stéphanie Delaune. - 21 Décembre 2012: David Baelde en visite au LORIA (travail sur l'extension de l'outil AKISS)
Participants: David Baelde, et Steve Kremer
Page maintained by Stéphanie Delaune.
Last modified: 1 January 1970.