VETO'07
Computer Security and Electronic Vote
9:00
Opening ceremony The President of the University of 7th of Novembre at Carthage, Professor Jemaiel BEN BRAHIM
Session Chair: Tayssir TOUILI (LIAFA/CNRS)
9:30
Jacques Traore (France Telecom R&D)
« Les signatures en aveugle sont-elles appropriées pour le vote électronique ? »
10:30
Coffee break
11:00
Steve Kremer (LSV, ENS Cachan & CNRS & INRIA Futurs)
« Analyse formelle d'un protocole de vote électronique en pi-calcul appliqué » In collaboration with M. Ryan (University of Birmingham)
12:15
Lunch
Session Chair: Véronique CORTIER (LORIA, CNRS & INRIA Cassis Project)
14:30
Stéphanie Delaune (LORIA, projet INRIA Cassis)
« Modélisation des propriétés d'anonymat dans le pi-calcul appliqué » In collaboration with S. Kremer (LSV - ENS de Cachan) and M. Ryan (University of Birmingham)
15:30
Riadh Robbana (LIP2/EPT)
«Garantir l'anonymat d'un vote électronique dans les mix-nets » In collaboration with Narjes BEN RAJEB (LIP2/INSAT)and Souheib YOUSFI(LIP2/ENIT)
20:00
Dinner
Friday April 27th, 2007
Session Chair: Khaled GHEDIRA (SOIE/ENSI)
Véronique Cortier (LORIA, CNRS & INRIA Cassis Project)
«Vérification formelle des protocoles cryptographiques : lien avec la cryptanalyse » In collaboration with Bogdan Warinschi (University of Bristol)
10:15
10:45
Yassine Lakhnech (VERIMAG)
« Non-Interférence par typage : le cas du chiffrement par clef faible »
12:00
Session Chair: Yassine LAKHNECH (VERIMAG/UJF)
14:00
Alexis Bonnecaze (IML/ESIL)
« Multi-signatures Courtes Basées sur des Pairing »
15:00
Alban Gabillon (LIUPPA/CSySEC)
« Sécurité multi-niveaux et traitement de l'inférence »
16:00
16:30
Kaouther Blibech (LIP2/ISI)
« Horodatage sécurisé des documents électroniques : état de l'art et nouvelles orientations »
17:30
Closing ceremony The General Director of the National Agency for Computer Security, Mr Nabil SAHLI
Ce site a été créé par les élèves ingénieurs: B.A. Arbi et M. Safwen ( Ecole Polytechnique de Tunisie)
