Paper 2007/478

Impossibility Results for Universal Composability in Public-Key Models and with Fixed Inputs

Dafna Kidron and Yehuda Lindell

Abstract

Universal composability and concurrent general composition consider a setting where secure protocols are run concurrently with each other and with arbitrary other possibly insecure protocols. Protocols that meet the definition of universal composability are guaranteed to remain secure even when run in this strongly adversarial setting. In the case of an honest majority, or where there is a trusted setup phase of some kind (like a common reference string or the key-registration public-key infrastructure of Barak et al.~in FOCS 2004), it has been shown that any functionality can be securely computed in a universally composable way. On the negative side, it has also been shown that in the {\em plain model}\/ where there is no trusted setup at all, there are large classes of functionalities which cannot be securely computed in a universally composable way without an honest majority. In this paper we extend these impossibility results for universal composability. We study a number of public-key models and show for which models the impossibility results of universal composability hold and for which they do not. We also consider a setting where the inputs to the protocols running in the network are fixed before any execution begins. The majority of our results are negative and we show that the known impossibility results for universal composability in the case of no honest majority extend to many other settings.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Published elsewhere. To appear in the Journal of Cryptology.
Keywords
universal composabilitypublic-key infrastructureconcurrent general compositionimpossibility results
Contact author(s)
lindell @ cs biu ac il
History
2010-06-06: revised
2007-12-28: received
See all versions
Short URL
https://ia.cr/2007/478
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2007/478,
      author = {Dafna Kidron and Yehuda Lindell},
      title = {Impossibility Results for Universal Composability in Public-Key Models and with Fixed Inputs},
      howpublished = {Cryptology {ePrint} Archive, Paper 2007/478},
      year = {2007},
      url = {https://eprint.iacr.org/2007/478}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.