CCIS Seminar - Tuesday 17 April 2012 - salle A. Turing CE4
15:00:00 - Salle de salle A. Turing CE4

Malika Izabachene, ENS Cachan

Accreditations anonymes non-interactives

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.


Home page CCIS Seminars
How to come to salle A. Turing CE4 - http://www-verimag.imag.fr/Plan-d-acces.html?lang=fr