Transferable e-cash: an analysis in the Algebraic Group Model - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2020

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.
Fichier principal
Vignette du fichier
92636_BAUER_2020_archivage.pdf (1.66 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-03682672 , version 1 (23-12-2020)
tel-03682672 , version 2 (31-05-2022)

Identifiants

  • HAL Id : tel-03682672 , version 1

Citer

Balthazar Bauer. Transferable e-cash: an analysis in the Algebraic Group Model. Cryptography and Security [cs.CR]. ED 386 : École doctorale de sciences mathématiques de Paris centre, UPMC, 2020. English. ⟨NNT : ⟩. ⟨tel-03682672v1⟩
352 Consultations
462 Téléchargements

Partager

Gmail Facebook X LinkedIn More