Security Analysis of Auctionity: a blockchain based e-auction

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02412800
Contributor : Pascal Lafourcade <>
Submitted on : Sunday, December 15, 2019 - 10:33:34 PM
Last modification on : Monday, January 20, 2020 - 12:14:07 PM

File

LNPPR19.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02412800, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

20

Files downloads

94