International Association for Cryptologic Research

International Association
for Cryptologic Research


Paper: Protocol Initialization for the Framework of Universal Composability

Boaz Barak
Yehuda Lindell
Tal Rabin
Search ePrint
Search Google
Abstract: Universally composable protocols (Canetti, FOCS 2000) are cryptographic protocols that remain secure even when run concurrently with arbitrary other protocols. Thus, universally composable protocols can be run in modern networks, like the Internet, and their security is guaranteed. However, the definition of universal composition actually assumes that each execution of the protocol is assigned a unique session identifier, and furthermore, that this identifier is known to all the participating parties. In addition, all universally composable protocols assume that the set of participating parties and the specification of the protocol to be run are a-priori agreed upon and known to all parties. In a decentralized network like the Internet, this setup information must be securely generated by the parties themselves. In this note we formalize the setup problem and show how to securely realize it with a simple and highly efficient protocol.
  title={Protocol Initialization for the Framework of Universal Composability},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / Universal composition, secure multiparty computation},
  note={ 12425 received 8 Jan 2004},
  author={Boaz Barak and Yehuda Lindell and Tal Rabin},