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.
Type de document :
Communication dans un congrès
Fun with Algorithms - 7th International Conference (FUN 2014), Jul 2014, Lipari, Italy. 2014, 〈10.1007/978-3-319-07890-8_14〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01337414
Contributeur : Jannik Dreier <>
Soumis le : samedi 25 juin 2016 - 23:50:42
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10
Document(s) archivé(s) le : lundi 26 septembre 2016 - 10:33:26

Fichier

fun2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions without Cryptography. Fun with Algorithms - 7th International Conference (FUN 2014), Jul 2014, Lipari, Italy. 2014, 〈10.1007/978-3-319-07890-8_14〉. 〈hal-01337414〉

Partager

Métriques

Consultations de la notice

495

Téléchargements de fichiers

96