Transferable e-cash : an analysis in the algebraic group model - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Thèse Année : 2020

Transferable e-cash : an analysis in the algebraic group model

Monnaies numériques : une analyse 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 them without 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 a first instantiation, which however relied on a powerful cryptographic primitive that made the scheme non-practical. In this thesis we revisit the model for transferable e-cash, proposing simpler yet stronger security definitions and then give the first concrete instantiation of the primitive, basing it on bilinear groups, and analyze its concrete efficiency. Because to build our scheme, we are using non-standard assumption in a bilinear group context, we analyze the hardness of a broad class 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 donnent la possibilité aux usagers de transférer des pièces entre eux sans interagir avec la banque. L’ambition de rendre un tel système fortement anonyme, et la necessité de détecter les fraudes (en particulier les doubles-dépenses) ont longtemps rendu difficile la construction d’un tel schéma. Baldimisti et coll. (PKC’15) donnèrent une première construction, qui malheureusement se base sur une puissante primitive qui la rend impraticable. Dans cette thèse, on reconsidère les modèles de sécurité en proposant des définitions plus parcimonieuses et plus fortes, puis nous rédigeons un premier schéma ayant l’ambition d’être implantable, et analysons son efficacité. La sécurité de notre schéma reposant sur des hypothèses cryptographiques non standards, on analyse alors la pertinence d’un large ensemble d’hypothèses cryptographiques construites à partir de couplages en utilisant une technique adaptée au contexte : le modèle du groupe algébrique.
Fichier principal
Vignette du fichier
Bauer_2020_These.pdf (1.66 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

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

Identifiants

  • HAL Id : tel-03682672 , version 2

Citer

Balthazar Bauer. Transferable e-cash : an analysis in the algebraic group model. Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE080⟩. ⟨tel-03682672v2⟩
351 Consultations
457 Téléchargements

Partager

Gmail Facebook X LinkedIn More