Secure Auctions without Cryptography

Jannik Dreier 1 Hugo Jonker 2 Pascal Lafourcade 3
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : An auction is a simple way of selling and buying goods. Modern auction protocols often rely on complex cryptographic operations to ensure manifold security properties such as bidder-anonymity or bid-privacy, non-repudiation, fairness or public verifiability of the result. This makes them difficult to understand for users who are not experts in cryptography. We propose two physical auction protocols inspired by Sako’s cryptographic auction protocol. In contrast to Sako’s protocol, they do not rely on cryptographic operations, but on physical properties of the manipulated mechanical objects to ensure the desired security properties. The first protocol only uses standard office material, whereas the second uses a special wooden box. We validate the security of our solutions using ProVerif.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01337414
Contributor : Jannik Dreier <>
Submitted on : Saturday, June 25, 2016 - 11:50:42 PM
Last modification on : Thursday, February 7, 2019 - 2:49:09 PM
Document(s) archivé(s) le : Monday, September 26, 2016 - 10:33:26 AM

File

fun2014.pdf
Files produced by the author(s)

Identifiers

Citation

Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions without Cryptography. 7th International Conference on Fun with Algorithms - FUN 2014, Jul 2014, Lipari, Italy. pp.158-170, ⟨10.1007/978-3-319-07890-8_14⟩. ⟨hal-01337414⟩

Share

Metrics

Record views

529

Files downloads

108