Security Analysis of Auctionity: a blockchain based e-auction - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Security Analysis of Auctionity: a blockchain based e-auction

Pascal Lafourcade
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
CV
Mike Nopere
  • Fonction : Auteur
Jérémy Picot
  • Fonction : Auteur
Daniela Pizzuti
  • Fonction : Auteur
Etienne Roudeix
  • Fonction : Auteur

Résumé

Auctions are widely used to sell products between different users. In this paper, we present Auctionity, an English e-auction based on blockchain. We describe the different protocols used in Auctionity. We also define the security models and the associated properties. We formally prove some security properties of this protocol using ProVerif.

Domaines

Cryptographie et sécurité [cs.CR]
Fichier principal
Vignette du fichier
LNPPR19.pdf (171.11 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Pascal Lafourcade  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02412800

Soumis le : dimanche 15 décembre 2019-22:33:34

Dernière modification le : mardi 18 avril 2023-10:00:06

Archivage à long terme le : lundi 16 mars 2020-14:47:24

Télécharger pour visualiser

Dates et versions

hal-02412800 , version 1 (15-12-2019)

Identifiants

  • HAL Id : hal-02412800 , version 1

Citer

Pascal Lafourcade, Mike Nopere, Jérémy Picot, Daniela Pizzuti, Etienne Roudeix. Security Analysis of Auctionity: a blockchain based e-auction. International Symposium on Foundations & Practice of Security FPS 19, Nov 2019, Toulouse, France. ⟨hal-02412800⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PRES_CLERMONT CNRS LIMOS CAP20-25 ANR CLERMONT-AUVERGNE-INP
181 Consultations
2260 Téléchargements

Partager

More