Composable Security in the Tamper Proof Hardware Model under Minimal Complexity

Carmit Hazay; Antigoni Polychroniadou; Muthuramakrishnan Venkitasubramaniam

Paper 2015/887

Composable Security in the Tamper Proof Hardware Model under Minimal Complexity

Carmit Hazay, Antigoni Polychroniadou, and Muthuramakrishnan Venkitasubramaniam

Abstract

We put forth a new formulation of tamper-proof hardware in the Global Universal Composable (GUC) framework introduced by Canetti et al. in TCC 2007. Almost all of the previous works rely on the formulation by Katz in Eurocrypt 2007 and this formulation does not fully capture tokens in a concurrent setting. We address these shortcomings by relying on the GUC framework where we make the following contributions: (1) We construct secure Two-Party Computation (2PC) protocols for general functionalities with optimal round complexity and computational assumptions using stateless tokens. More precisely, we show how to realize arbitrary functionalities with GUC security in two rounds under the minimal assumption of One-Way Functions (OWFs). Moreover, our construction relies on the underlying function in a black-box way. As a corollary, we obtain feasibility of Multi-Party Computation (MPC) with GUC-security under the minimal assumption of OWFs. As an independent contribution, we identify an issue with a claim in a previous work by Goyal, Ishai, Sahai, Venkatesan and Wadia in TCC 2010 regarding the feasibility of UC-secure computation with stateless tokens assuming collision-resistant hash-functions (and the extension based only on one-way functions). (2) We then construct a 3-round MPC protocol to securely realize arbitrary functionalities with GUC-security starting from any semi-honest secure MPC protocol. For this construction, we require the so-called one-many commit-and-prove primitive introduced in the original work of Canetti, Lindell, Ostrovsky and Sahai in STOC 2002 that is round-efficient and black-box in the underlying commitment. Using specially designed ``input-delayed'' protocols we realize this primitive (with a 3-round protocol in our framework) using stateless tokens and one-way functions (where the underlying one-way function is used in a black-box way).

Note: The related work section has been updated.

Metadata

Available format(s): PDF
Publication info: A minor revision of an IACR publication in TCC 2016
Keywords: Secure Computation Tamper-Proof Hardware Round Complexity Minimal Assumptions
Contact author(s): carmit hazay @ biu ac il
History: 2016-09-01: last of 5 revisions; 2015-09-13: received; See all versions
Short URL: https://ia.cr/2015/887
License: CC BY

BibTeX

@misc{cryptoeprint:2015/887,
      author = {Carmit Hazay and Antigoni Polychroniadou and Muthuramakrishnan Venkitasubramaniam},
      title = {Composable Security in the Tamper Proof Hardware Model under Minimal Complexity},
      howpublished = {Cryptology {ePrint} Archive, Paper 2015/887},
      year = {2015},
      url = {https://eprint.iacr.org/2015/887}
}