Paper 2010/654

Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full version)

Daniel Kraschewski and Jörn Müller-Quade

Abstract

In this paper we present simple but comprehensive combinatorial criteria for completeness of finite deterministic 2-party functions with respect to information-theoretic security. We give a general protocol construction for efficient and statistically secure reduction of oblivious transfer to any finite deterministic 2-party function that fulfills our criteria. For the resulting protocols we prove universal composability. Our results are tight in the sense that our criteria still are necessary for any finite deterministic 2-party function to allow for implementation of oblivious transfer with statistical privacy and correctness. We unify and generalize results of Joe Kilian (1991, 2000) in two ways. Firstly, we show that his completeness criteria also hold in the UC framework. Secondly, what is our main contribution, our criteria also cover a wide class of primitives that are not subject of previous criteria. We show that there are non-trivial examples of finite deterministic 2-party functions that are neither symmetric nor asymmetric and therefore have not been covered by existing completeness criteria so far. As a corollary of our work, every finite deterministic 2-party function is either complete or can be considered equivalent to a non-complete symmetric 2-party function---this assertion holds true with respect to active adversaries as well as passive adversaries. Thereby known results on non-complete symmetric 2-party functions are strengthened.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Published elsewhere. Short version accepted at TCC 2011. This is the full version.
Keywords
oblivious transfercomplete primitivesinformation-theoretic securityuniversal composabilitysecure function evaluation
Contact author(s)
kraschewski @ kit edu
History
2011-04-04: last of 2 revisions
2010-12-31: received
See all versions
Short URL
https://ia.cr/2010/654
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2010/654,
      author = {Daniel Kraschewski and Jörn Müller-Quade},
      title = {Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full version)},
      howpublished = {Cryptology ePrint Archive, Paper 2010/654},
      year = {2010},
      note = {\url{https://eprint.iacr.org/2010/654}},
      url = {https://eprint.iacr.org/2010/654}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.