Paper 2011/137

Towards a Game Theoretic View of Secure Computation

Gilad Asharov, Ran Canetti, and Carmit Hazay

Abstract

We demonstrate how Game Theoretic concepts and formalism can be used to capture cryptographic notions of security. In the restricted but indicative case of two-party protocols in the face of malicious fail-stop faults, we first show how the traditional notions of secrecy and correctness of protocols can be captured as properties of Nash equilibria in games for rational players. Next, we concentrate on fairness. Here we demonstrate a Game Theoretic notion and two different cryptographic notions that turn out to all be equivalent. In addition, we provide a simulation based notion that implies the previous three. All four notions are weaker than existing cryptographic notions of fairness. In particular, we show that they can be met in some natural setting where existing notions of fairness are provably impossible to achieve.

Metadata
Available format(s)
PDF
Publication info
Published elsewhere. This is a full version of a paper that will apear in Eurocrypt 2011.
Keywords
Game-TheorySecure computationFairness
Contact author(s)
carmit @ cs au dk
History
2012-02-23: last of 2 revisions
2011-03-21: received
See all versions
Short URL
https://ia.cr/2011/137
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2011/137,
      author = {Gilad Asharov and Ran Canetti and Carmit Hazay},
      title = {Towards a Game Theoretic View of Secure Computation},
      howpublished = {Cryptology ePrint Archive, Paper 2011/137},
      year = {2011},
      note = {\url{https://eprint.iacr.org/2011/137}},
      url = {https://eprint.iacr.org/2011/137}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.