Transferable e-cash: an analysis in the Algebraic Group Model
Monnaies numériques transférables: une analyse de sécurité dans le modèle du groupe algébrique
Résumé
Transferable e-cash is the most faithful digital analog of physical cash, as it allows users to transfer coins between themwithout interacting with the bank. Strong anonymity requirements and the need for mechanisms to trace illegal behavior(double-spending of coins) have made instantiating the concept notoriously hard. Baldimtsi et al. (PKC’15) have given afirst instantiation, which however relied on a powerful cryptographic primitive that made the scheme non-practical. In thisthesis we revisit the model for transferable e-cash, proposing simpler yet stronger security definitions and then give thefirst concrete instantiation of the primitive, basing it on bilinear groups, and analyze its concrete efficiency. Because tobuild our scheme, we are using non-standard assumption in a bilinear group context, we analyze the hardness of a broadclass of assumptions in a relevant context: the algebraic group model.
Les billets électroniques transferables sont l’analogue numérique des monnaies fiducières, étant donné qu’ils donnentla possibilité aux usagers de transférer des pièces entre eux sans interagir avec la banque. L’ambition de rendre un telsystème fortement anonyme, et la necessité de détecter les fraudes (en particulier les doubles-dépenses) ont longtempsrendu difficile la construction d’un tel schéma. Baldimisti et coll. (PKC’15) donnèrent une première construction, quimalheureusement se base sur une puissante primitive qui la rend impraticable. Dans cette thèse, on reconsidère lesmodèles de sécurité en proposant des définitions plus parcimonieuses et plus fortes, puis nous rédigeons un premierschéma ayant l’ambition d’être implantable, et analysons son efficacité. La sécurité de notre schéma reposant sur deshypothèses cryptographiques non standards, on analyse alors la pertinence d’un large ensemble d’hypothèses cryp-tographiques construites à partir de couplages en utilisant une technique adaptée au contexte : le modèle du groupealgébrique.
Origine : Fichiers produits par l'(les) auteur(s)