Transferable e-cash: an analysis in the Algebraic Group Model
Autor: | Bauer, Balthazar |
---|---|
Přispěvatelé: | Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities (CASCADE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), ED 386 : École doctorale de sciences mathématiques de Paris centre, UPMC, Georg Fuchsbauer, David Pointcheval |
Jazyk: | angličtina |
Rok vydání: | 2020 |
Předmět: |
Uber assumption
Signatures de classes d’équivalence Modèle du groupe algébrique Anonymat Signatures on equivalence classes Modèle du groupe générique Algebraic group model [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] Randomizable NIZK proofs Strong anonymity Meta-hypothèses Generic Group Model Monnaie numérique E-cash Preuve à divulgation nulle |
Zdroj: | Cryptography and Security [cs.CR]. ED 386 : École doctorale de sciences mathématiques de Paris centre, UPMC, 2020. English |
Popis: | 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. |
Databáze: | OpenAIRE |
Externí odkaz: |