Security Analysis of Auctionity: a blockchain based e-auction

Pascal Lafourcade (1) , Mike Nopere , Jérémy Picot , Daniela Pizzuti , Etienne Roudeix

1 LIMOS - Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes

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.

Mots clés: Blockchain; Security; E-auction; ProVerif

Domaines: Cryptographie et sécurité [cs.CR]

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⟩