Paper 2012/652

Round-Efficient Concurrently Composable Secure Computation via a Robust Extraction Lemma

Vipul Goyal, Huijia Lin, Omkant Pandey, Rafael Pass, and Amit Sahai


We consider the problem of constructing protocols for secure computation that achieve strong concurrent and composable notions of security in the plain model. Unfortunately UC-secure secure computation protocols are impossible in this setting, but the Angel-Based Composable Security notion offers a promising alternative. Until now, however, under standard (polynomial-time) assumptions, only protocols with polynomially many rounds were known to exist. In this work, we give the first $\tilde{O}(\log n)$-round secure computation protocol in the plain model that achieves angel-based composable security in the concurrent setting, under standard assumptions. We do so by constructing the first $\tilde{O}(\log n)$-round CCA-secure commitment protocol. Our CCA-secure commitment protocol is secure based on the minimal assumption that one-way functions exist. A central tool in obtaining our result is a new \emph{robust concurrent extraction lemma} that we introduce and prove, based on the minimal assumptions that one-way functions exist. This robust concurrent extraction lemma shows how to build concurrent extraction procedures that work even in the context of an ``external'' protocol that cannot be rewound by the extractor. We believe this lemma can be used to simplify many existing works on concurrent security, and is of independent interest. In fact, our lemma when used in conjunction with the concurrent-simulation schedule of Pass and Venkitasubramaniam (TCC'08), also yields a constant round construction based additionally on the existence of quasi-polynomial time (\pqt) secure one-way functions.

Note: This is a merger of two works, by following group of authors: (1) Huijia Lin and Rafael Pass, and (2) Vipul Goyal, Omkant Pandey, and Amit Sahai

Available format(s)
Publication info
Published elsewhere. Manuscript
Concurrent ExtractionComposable Security
Contact author(s)
omkant @ cs utexas edu
2013-02-17: last of 4 revisions
2012-11-21: received
See all versions
Short URL
Creative Commons Attribution


      author = {Vipul Goyal and Huijia Lin and Omkant Pandey and Rafael Pass and Amit Sahai},
      title = {Round-Efficient Concurrently Composable Secure Computation via a Robust Extraction Lemma},
      howpublished = {Cryptology ePrint Archive, Paper 2012/652},
      year = {2012},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.