Information-Theoretically Secure Protocols and Security Under Composition

Eyal Kushilevitz; Yehuda Lindell; Tal Rabin

Paper 2009/630

Information-Theoretically Secure Protocols and Security Under Composition

Eyal Kushilevitz, Yehuda Lindell, and Tal Rabin

Abstract

We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these protocols under concurrent composition. This question is motivated by the folklore that all known protocols that are secure in the information-theoretic setting are indeed secure under concurrent composition. We provide answers to this question for a number of different settings (i.e., considering perfect versus statistical security, and concurrent composition with adaptive versus fixed inputs). Our results enhance the understanding of what is necessary for obtaining security under composition, as well as providing tools (i.e., composition theorems) that can be used for proving the security of protocols under composition while considering only the standard stand-alone definitions of security.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Published elsewhere. An extended abstract of this paper appeared in STOC 2006. This is the full version.
Keywords: secure multiparty computation information-theoretic security security under composition
Contact author(s): lindell @ cs biu ac il
History: 2009-12-26: received
Short URL: https://ia.cr/2009/630
License: CC BY

BibTeX

@misc{cryptoeprint:2009/630,
      author = {Eyal Kushilevitz and Yehuda Lindell and Tal Rabin},
      title = {Information-Theoretically Secure Protocols and Security Under Composition},
      howpublished = {Cryptology {ePrint} Archive, Paper 2009/630},
      year = {2009},
      url = {https://eprint.iacr.org/2009/630}
}