Beyond Uber: Instantiating Generic Groups via PGGs
Séminaire AMAC: CASC
20/04/2023 - 09:30 Balthazar Bauer (CNRS) IMAG 106
Le modèle de groupe générique (GGM) a permis de rendre les analyses de nombreux protocoles et hypothèses cryptographiques traçables. Il est cependant bien connu que le GGM doit être utilisé avec prudence, car il existe des protocoles sécurisés dans ce modèle qui ne le sont pas en pratique. Cela motive l'étude de notions de modèle standard formalisant le fait qu'un groupe du monde réel "semble générique" dans un certain sens. Nous introduisons une définition de modèle standard appelée groupe pseudo-générique (PGG). La définition que nous obtenons généralise la famille d'hypothèses Uber. Nos autres résultats se concentrent sur les applications des PGG. Nous montrons tout d'abord que les PGG sont une généralisation d'Uber, puis présentons ensuite un certain nombre d'applications. Certaines de nos implications utilisent un nouveau type de fonction de hachage, que nous appelons destructeurs de dépendance linéaire (LDD) et que nous utilisons pour faire un lien entre les PGG et les fonction de hachage UCE (qui sont l'analogue des PGG pour les fonctions de hachage).