Malika Izabachene
ATER, ENS Cachan
Thèmes de recherche
- Modèle et Preuve de sécurité
- Authentification anonyme et applications
- Complexité des problèmes en théorie des réseaux
- Preuve non-interactive à base de couplage
Recherche
- Je suis actuellement post-doctorante au LORIA-INRIA dans l'équipe CASSIS.
Je travaille sur la modélisation des propriétés de confidentialité et d'anonymat dans les protocoles cryptographiques,
et plus particulièrement dans les protocoles d'authentification. J'étudie divers mécanismes cryptographiques préservant ces propriétés et m'intéresse à leur applicabilité dans des scénarios réels tels que les protocoles de vote électronique dans le cadre du projet ERC ProSecure.
D'autre part, je travaille sur la complexité des hypothèses calculatoires en théorie des réseaux euclidiens et
les réductions type "worst-case to average-case", avec la collaboration de Nicolas Gama
-
De 2006 à 2009, j'ai effectué ma thèse, intitulée Anonymat dans les protocoles cryptographiques
(pdf)
au sein de l'équipe de Cryptographie de l'Ecole Normale Supérieure de Paris sous la direction de David Pointcheval .
-
De 2009 à 2011, j'ai effectué un post-doctorant au sein de l'équipe de Cryptographie de l'Université de Versailles, dans le cadre du projet ANR coprim
"Contactless Manager Privacy", un concept qui vise à populariser l'usage des cartes sans contact tout en garantissant la confidentialité et
l'anonymat des usagers. De 2011 à 2012, j'ai été ATER à l'ENS Cachan.
-
En 2010, j'ai également effectué une visite dans le Laboratoire de Microelectronics, où j'ai travaillé sur les systèmes d'accréditations anonymes et leurs applications, avec la collaboration de Benoît Libert
Enseignement (2012)
-
Langages Formels (Licence 3)
td1, td2, td3/td4, td5, td6, td7, td8, et le dm.
- Logique et Calulabilité (Licence 3)
td1, td2, td3, td4, td5, td6, td7, td8, td9, td10, td11
-
Aspects Probabilistes de l'Informatique (Master 1, MPRI)
Partie 1: td1, td2, td3 ,td4, td5, td6, et le dm1
Partie 2: cours et tds voir pdf
de Serge Haddad .
-
TP Maple (Préparation Agreg)