Correlated Randomness Teleportation via Semi-trusted Hardware -- Enabling Silent Multi-party Computation
Correlated Randomness Teleportation via Semi-trusted Hardware -- Enabling Silent Multi-party Computation
复制标题
通过半可信硬件进行相关随机隐形传输——实现静默多方计算
DOI：
10.1007/978-3-030-88428-4_34
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Ren, K.
中科院分区：
文献类型：
--
作者：
Zhang, B;Zhou, H-S;Liu, W;Zhang, L;Ren, K.
随着可信执行环境（TEE）技术的发展，硬件支持的安全计算因其高效性而受到越来越多的关注。在协议执行过程中，玩家通常需要联系第三方服务器进行远程认证，以确保所涉及的可信硬件组件（如英特尔SGX）的有效性以及计算结果的完整性。当硬件制造商不完全信任，敏感信息可能会泄露到第三方服务器通过后门，隐写术，和盗窃等。在这项工作中，我们引入了一个新的安全概念，称为半可信的硬件模型，对手被允许被动或恶意损坏的硬件。因此，她可以学习硬件组件的输入，也可能篡改其输出。然后，我们展示了如何利用这种半可信硬件进行相关随机隐形传态。当半可信硬件由英特尔SGX实例化以生成10 k随机OT时，我们的协议在LAN和WAN设置中分别比EMP-IKNP-ROT快24倍和450倍。当SGX用于传送乱码电路时，对于AES-128、SHA-256和SHA-512评估，由此产生的双方计算协议在LAN和WAN设置中分别比EMP-SH 2 PC快5.3- 5.7倍和43- 47倍。我们还展示了如何实现恶意的安全性，很少的开销。
With the advancement of thetrusted execution environment(TEE) technologies, hardware-supported secure computing becomes increasingly popular due to its efficiency. During the protocol execution, typically, the players need to contact a third-party server for remote attestation, ensuring the validity of the involved trusted hardware component, such as Intel SGX, as well as the integrity of the computation result. When the hardware manufacturer is not fully trusted, sensitive information may be leaked to the third-party server through backdoors, steganography, and kleptography, etc. In this work, we introduce a new security notion calledsemi-trusted hardware model, where the adversary is allowed to passively or maliciously corrupt the hardware. Therefore, she can learn the input of the hardware component and might also tamper its output. We then show how to utilize such semi-trusted hardwares forcorrelated randomness teleportation. When the semi-trusted hardware is instantiated by Intel SGX, to generate 10k random OT’s, our protocol is 24X and 450X faster than the EMP-IKNP-ROT in the LAN and WAN setting, respectively. When SGX is used to teleport Garbled circuits, the resulting two-party computation protocol is 5.3-5.7X and 43-47X faster than the EMP-SH2PC in the LAN and WAN setting, respectively, for the AES-128, SHA-256, and SHA-512 evaluation. We also show how to achieve malicious security with little overhead.