salle A. Turing CE4
17 avril 2012 - 15h00
Accreditations anonymes non-interactives
par Malika Izabachene de ENS Cachan
Résumé : Les systèmes d'accréditations anonymes permettent aux utilisateurs d'obtenir des certificats d'organisations et d'en prouver a posteriori leur possession auprès de fournisseurs de services,
de telle sorte que deux transactions provenant d'un même utilisateur ne puissent être reliées.
Dans cet exposé, nous présentons un schéma d'accréditation anonyme où les accréditations sont associées à des attributs. Nous introduisons un encodage efficace de ces attributs qui permet de convaincre le vérifieur
que ces attributs vérifient divers types de prédicats (CNF, évaluations de polynômes). La preuve qui en résulte est non-interactive et de taille constante par rapport aux nombres d'attributs dont l'utilisateur prouve la possession.
Travail joint avec Benoît Libert et Damien Vergnaud.
