Security Analysis of Auctionity: A Blockchain Based E-Auction

Pascal Lafourcade,Mike Nopere,Jérémy Picot,Daniela Pizzuti,Etienne Roudeix
DOI: https://doi.org/10.1007/978-3-030-45371-8_18
2020-01-01
Abstract: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.
What problem does this paper attempt to address?