Mastering Blockchain: Distributed ledger technology, decentralization, and smart contracts explained, 2018. ,
Proverif 2.00: Automatic cryptographic protocol verifier, user manual and tutorial, 2018. ,
Strain: A secure auction for blockchains, 23rd European Symposium on Research in Computer Security, ESORICS'18, 2018. ,
How to obtain full privacy in auctions, International Journal of Information Security, vol.5, pp.201-216, 2006. ,
On slow and fast block times @ONLINE, 2015. ,
An efficient eAuction protocol, ARES, pp.417-421, 2007. ,
Brandt's fully private auction protocol revisited, Journal of Computer Security, vol.23, issue.5, pp.587-610, 2015. ,
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
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.
The elliptic curve digital signature algorithm (ecdsa), International journal of information security, vol.1, issue.1, pp.36-63, 2001. ,
A two-server, sealed-bid auction protocol, LNCS, vol.2357, pp.72-86, 2002. ,
Auction theory, 2009. ,
Formal definition of the auctionity protocol and its security properties, LIMOS, 2018. ,
, , 2019.
Bitcoin: A peer-to-peer electronic cash system, 2009. ,
Privacy preserving auctions and mechanism design, ACM Conference on Electronic Commerce, pp.129-139, 1999. ,
A practical English auction with one-time registration, LNCS, vol.2119, pp.221-234, 2001. ,
Robust, privacy protecting and publicly verifiable sealed-bid auction, ICICS, volume 2513 of LNCS, pp.147-159, 2002. ,
An auction protocol which hides bids of losers, LNCS, vol.1751, pp.422-432, 2000. ,
Ethereum: A secure decentralised genereralised transaction ledger, 2018. ,