Secure Auctions Without Cryptography (extended version)

Jannik Dreier (1) , Hugo Jonker (2) , Pascal Lafourcade (3)

1 CASSIS - Combination of approaches to the security of infinite states systems
2 Open Universiteit Nederland [Heerlen]
3 LIMOS - Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes

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.

Domaines: Cryptographie et sécurité [cs.CR]

Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions Without Cryptography (extended version). [Technical Report] ETH Zurich. 2014. ⟨hal-01337415⟩