Paper 2016/1043

Concurrently Composable Security With Shielded Super-polynomial Simulators

Brandon Broadnax, Nico Döttling, Gunnar Hartung, Jörn Müller-Quade, and Matthias Nagel

Abstract

We propose a new framework for concurrently composable security that relaxes the security notion of UC security. As in previous frameworks, our notion is based on the idea of providing the simulator with super-polynomial resources. However, in our new framework simulators are only given restricted access to the results computed in super-polynomial time. This is done by modeling the super-polynomial resource as a stateful oracle that may directly interact with a functionality without the simulator seeing the communication. We call these oracles shielded oracles. Our notion is fully compatible with the UC framework, i.e., protocols proven secure in the UC framework remain secure in our framework. Furthermore, our notion lies strictly between SPS and Angel-based security, while being closed under protocol composition. Shielding away super-polynomial resources allows us to apply new proof techniques where we can replace super-polynomial entities by indistinguishable polynomially bounded entities. This allows us to construct secure protocols in the plain model using weaker primitives than in previous composable frameworks involving simulators with super-poly resources. In particular, we only use non-adaptive-CCA-secure commitments as a building block in our constructions. As a feasibility result, we present a constant-round general MPC protocol in the plain model based on standard assumptions that is secure in our framework.

Note: This is the full version of the paper, including the appendix and detailed proofs.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
A major revision of an IACR publication in EUROCRYPT 2017
Keywords
universal composabilityprotocol designcryptographic security proofs
Contact author(s)
matthias nagel @ kit edu
History
2017-04-30: last of 2 revisions
2016-11-06: received
See all versions
Short URL
https://ia.cr/2016/1043
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2016/1043,
      author = {Brandon Broadnax and Nico Döttling and Gunnar Hartung and Jörn Müller-Quade and Matthias Nagel},
      title = {Concurrently Composable Security With Shielded Super-polynomial Simulators},
      howpublished = {Cryptology ePrint Archive, Paper 2016/1043},
      year = {2016},
      note = {\url{https://eprint.iacr.org/2016/1043}},
      url = {https://eprint.iacr.org/2016/1043}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.