Secure Auctions without Cryptography

  • Jannik Dreier
  • Hugo Jonker
  • Pascal Lafourcade
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8496)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Omote, K., Miyaji, A.: A practical english auction with one-time registration. In: Varadharajan, V., Mu, Y. (eds.) ACISP 2001. LNCS, vol. 2119, pp. 221–234. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    Lipmaa, H., Asokan, N., Niemi, V.: Secure vickrey auctions without threshold trust. In: Blaze, M. (ed.) FC 2002. LNCS, vol. 2357, pp. 87–101. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Stubblebine, S.G., Syverson, P.F.: Fair on-line auctions without special trusted parties. In: Franklin, M. (ed.) FC 1999. LNCS, vol. 1648, pp. 230–240. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  4. 4.
    Naor, M., Pinkas, B., Sumner, R.: Privacy preserving auctions and mechanism design. In: Proc. 1st ACM Conference on Electronic Commerce, pp. 129–139 (1999)Google Scholar
  5. 5.
    Sako, K.: An auction protocol which hides bids of losers. In: Imai, H., Zheng, Y. (eds.) PKC 2000. LNCS, vol. 1751, pp. 422–432. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  6. 6.
    Brandt, F.: How to obtain full privacy in auctions. International Journal of Information Security 5, 201–216 (2006)CrossRefGoogle Scholar
  7. 7.
    Dreier, J., Dumas, J.-G., Lafourcade, P.: Brandt’s fully private auction protocol revisited. In: Youssef, A., Nitaj, A., Hassanien, A.E. (eds.) AFRICACRYPT 2013. LNCS, vol. 7918, pp. 88–106. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  8. 8.
    Bundesverfassungsgericht (Germany’s Federal Constitutional Court): Use of voting computers in 2005 bundestag election unconstitutional, http://www.bundesverfassungsgericht.de/en/press/bvg09-019en.html (press release 19, 2009)
  9. 9.
    Chaum, D.: Secret-ballot receipts: True voter-verifiable elections. IEEE Security & Privacy 2(1), 38–47 (2004)CrossRefGoogle Scholar
  10. 10.
    Stajano, F., Anderson, R.: The cocaine auction protocol: On the power of anonymous broadcast. In: Pfitzmann, A. (ed.) IH 1999. LNCS, vol. 1768, pp. 434–447. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  11. 11.
    Moran, T., Naor, M.: Basing cryptographic protocols on tamper-evident seals. Theor. Comput. Sci. 411(10), 1283–1310 (2010)CrossRefMATHMathSciNetGoogle Scholar
  12. 12.
    Moran, T., Naor, M.: Polling with physical envelopes: A rigorous analysis of a human-centric protocol. In: Vaudenay, S. (ed.) EUROCRYPT 2006. LNCS, vol. 4004, pp. 88–108. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    Izmalkov, S., Lepinski, M., Micali, S.: Perfect implementation. Games and Economic Behavior 71(1), 121–140 (2011)CrossRefMATHMathSciNetGoogle Scholar
  14. 14.
    Fagin, R., Naor, M., Winkler, P.: Comparing information without leaking it. Commun. ACM 39(5), 77–85 (1996)CrossRefGoogle Scholar
  15. 15.
    Schneier, B.: The solitaire encryption algorithm (1999), http://www.schneier.com/solitaire.html
  16. 16.
    Dreier, J., Jonker, H.L., Lafourcade, P.: Defining verifiability in e-auction protocols. In: Proc. ASIACCS 2013, pp. 547–552. ACM (2013)Google Scholar
  17. 17.
    Dreier, J., Lafourcade, P., Lakhnech, Y.: Formal verification of e-auction protocols. In: Basin, D., Mitchell, J.C. (eds.) POST 2013. LNCS, vol. 7796, pp. 247–266. Springer, Heidelberg (2013)Google Scholar
  18. 18.
    Blanchet, B.: An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In: Proc. 14th Computer Security Foundations Workshop (CSFW 2014), pp. 82–96. IEEE (June 2001)Google Scholar
  19. 19.
    ElGamal, T.: A public key cryptosystem and a signature scheme based on discrete logarithms. In: Blakely, G.R., Chaum, D. (eds.) Advances in Cryptology - CRYPTO 1984. LNCS, vol. 196, pp. 10–18. Springer, Heidelberg (1985)Google Scholar
  20. 20.
    Rivest, R.L., Shamir, A., Adleman, L.: A method for obtaining digital signatures and public-key cryptosystems. Commun. ACM 21(2), 120–126 (1978)CrossRefMATHMathSciNetGoogle Scholar
  21. 21.
    Dreier, J., Jonker, H., Lafourcade, P.: Secure auctions without cryptography, extended version (2014), http://dx.doi.org/10.3929/ethz-a-010127116

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Jannik Dreier
    • 1
  • Hugo Jonker
    • 2
  • Pascal Lafourcade
    • 3
    • 4
  1. 1.Institute of Information Security, Department of Computer ScienceETH ZurichSwitzerland
  2. 2.University of LuxembourgLuxembourg
  3. 3.Clermont Université, Université d’Auvergne, LIMOSClermont-FerrandFrance
  4. 4.CNRS, UMR 6158, LIMOSAubièreFrance

Personalised recommendations