Welcome to the resource topic for 2011/251
Title:
Concurrently Secure Computation in Constant Rounds
Authors: Sanjam Garg, Vipul Goyal, Abhishek Jain, Amit Sahai
Abstract:We study the problem of constructing concurrently secure computation protocols in the plain model, where no trust is required in any party or setup. While the well established UC framework for concurrent security is impossible to achieve in this setting, a meaningful notion of concurrent security based on \emph{super-polynomial simulation} (SPS) is achievable and has been extensively studied [Pas03,PS04,BS05,LPV09,CLP10]. The recent work of [CLP10] obtains a concurrently secure computation protocol in the plain model with SPS security under standard assumptions, but requires a number of rounds of interaction that is polynomial in the security parameter. In this work, we obtain the first concurrently secure computation protocol in the plain model with SPS security that uses only a \emph{constant} number of rounds and requires only \emph{standard assumptions}. To accomplish our result, we introduce a new proof technique that significantly reduces the demands placed on ``rewinding techniques’’ employed in previous work. We believe that our techniques are of independent interest and likely to be applicable in other settings related to secure concurrent composition.
ePrint: https://eprint.iacr.org/2011/251
Talk: https://www.youtube.com/watch?v=7M6V4aauRb0
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .