I. Bashir, Mastering Blockchain: Distributed ledger technology, decentralization, and smart contracts explained, 2018.

B. Blanchet, B. Smyth, V. Cheval, and M. Sylvestre, Proverif 2.00: Automatic cryptographic protocol verifier, user manual and tutorial, 2018.

E. Blass and F. Kerschbaum, Strain: A secure auction for blockchains, 23rd European Symposium on Research in Computer Security, ESORICS'18, 2018.

F. Brandt, How to obtain full privacy in auctions, International Journal of Information Security, vol.5, pp.201-216, 2006.

V. Buterin, On slow and fast block times @ONLINE, 2015.

B. Curtis, J. Pieprzyk, and J. Seruga, An efficient eAuction protocol, ARES, pp.417-421, 2007.

J. Dreier, J. Dumas, and P. Lafourcade, Brandt's fully private auction protocol revisited, Journal of Computer Security, vol.23, issue.5, pp.587-610, 2015.

J. Dreier, H. Jonker, and P. Lafourcade, Defining verifiability in e-auction protocols, Proceedings of the 8th ACM SIGSAC symposium on Information, computer and communications security -ASIA CCS '13, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01337416

J. Dreier, P. Lafourcade, and Y. Lakhnech, Formal verification of e-auction protocols, Principles of Security and Trust, pp.247-266, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01338020

, Our company webpage @ONLINE, 2018.

D. Johnson, A. Menezes, and S. Vanstone, The elliptic curve digital signature algorithm (ecdsa), International journal of information security, vol.1, issue.1, pp.36-63, 2001.

A. Juels and M. Szydlo, A two-server, sealed-bid auction protocol, LNCS, vol.2357, pp.72-86, 2002.

V. Krishna, Auction theory, 2009.

P. Lafourcade, J. Picot, D. Pizzuli, M. Nopere, and E. Roudeix, Formal definition of the auctionity protocol and its security properties, LIMOS, 2018.

P. Lafourcade, J. Picot, D. Pizzuli, M. Nopere, and E. Roudeix, , 2019.

S. Nakamoto, Bitcoin: A peer-to-peer electronic cash system, 2009.

M. Naor, B. Pinkas, and R. Sumner, Privacy preserving auctions and mechanism design, ACM Conference on Electronic Commerce, pp.129-139, 1999.

K. Omote and A. Miyaji, A practical English auction with one-time registration, LNCS, vol.2119, pp.221-234, 2001.

K. Peng, C. Boyd, E. Dawson, and K. Viswanathan, Robust, privacy protecting and publicly verifiable sealed-bid auction, ICICS, volume 2513 of LNCS, pp.147-159, 2002.

K. Sako, An auction protocol which hides bids of losers, LNCS, vol.1751, pp.422-432, 2000.

G. Wood, Ethereum: A secure decentralised genereralised transaction ledger, 2018.