Composable Security in the Tamper-Proof Hardware Model Under Minimal Complexity.
TCC (B1)(2016)
摘要
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 in the two-party setting 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.
更多查看译文
关键词
Secure computation,Tamper-proof hardware,Round complexity,Minimal assumptions
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络