Jeudi 26 avril 2007

   9h00

Ouverture par
Monsieur le Président de l'université du 7 Novembre à Carthage,

Profreseur Jemaiel BEN BRAHIM

Session Présidée par Tayssir TOUILI (LIAFA/CNRS)

9h30

Jacques Traore (France Telecom R&D)

 « Les signatures en aveugle sont-elles appropriées pour le vote électronique ? »

10h30

Pause café

11h00

Steve Kremer

(LSV, ENS Cachan & CNRS & INRIA Futurs)

« Analyse formelle d'un protocole de vote électronique en pi-calcul appliqué »

Travaux réalisés en collaboration avec M. Ryan (Université de Birmingham)

12h15

Déjeuner

Session Présidée par Véronique CORTIER (LORIA, CNRS & projet INRIA Cassis)

14h30

Stéphanie Delaune

(LORIA, projet INRIA Cassis)

« Modélisation des propriétés d'anonymat dans le pi-calcul appliqué »

Travaux réalisés avec S. Kremer (LSV - ENS de Cachan) et M. Ryan (Université
de Birmingham)

15h30

Riadh Robbana (LIP2/EPT)

«Garantir l'anonymat d'un vote électronique dans les mix-nets »

Travaux réalisés avec Narjes BEN RAJEB (LIP2/INSAT) et Souheib YOUSFI(LIP2/ENIT)

20h00

Dîner

Vendredi 27 avril 2007

Session Présidée par Khaled GHEDIRA (SOIE/ENSI)

9h00

Véronique Cortier

(LORIA, CNRS & projet INRIA Cassis)

«Vérification formelle des protocoles cryptographiques : lien avec la cryptanalyse »
Travaux réalisés en collaboration avec Bogdan Warinschi (Université de
Bristol)

10h15

Pause café

10h45

Yassine Lakhnech

(VERIMAG)

« Non-Interférence par typage : le cas du chiffrement par clef faible »

12h00

Déjeuner

Session Présidée par Yassine LAKHNECH (VERIMAG/UJF)

14h00

Alexis Bonnecaze (IML/ESIL)

« Multi-signatures Courtes Basées sur des Pairing »

15H00

Alban Gabillon (LIUPPA/CSySEC)

« Sécurité multi-niveaux et traitement de l'inférence »

16h00

Pause café

16h30

Kaouther Blibech (LIP2/ISI)

« Horodatage sécurisé des documents électroniques : état de l'art et nouvelles orientations »

   17h30

Clôture par

Monsieur le Directeur Général de l'Agence Nationale de la Sécurité Informatique,

Monsieur Nabil SAHLI