Verifiable Functional Encryption using Intel SGX
Verifiable Functional Encryption using Intel SGX
复制标题
使用 Intel SGX 的可验证功能加密
DOI：
10.1007/978-3-030-90402-9_12
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
and Kazumasa OMOTE
中科院分区：
文献类型：
--
作者：
Tatsuya SUZUKI;Keita EMURA;Toshihiro OHIGASHI;and Kazumasa OMOTE
大多数功能加密方案隐含地假设解密算法的输入，即秘密密钥和密文，是诚实地生成的。然而，它们可能会被恶意的对手篡改。因此，可验证函数加密(VFE)由Badrinarayanan等人提出。在ASIACRYPT 2016中，任何人都可以公开检查密钥和密文的有效性。尽管基于SIM的安全更可取，但由于基于模拟(基于SIM)的VFE的不可能结果，他们采用了基于不可区分(IND)的安全。在本文中，我们提出了一个基于SIM的VFE方案。为了绕过不可能的结果，我们引入了可信设置假设。虽然这似乎是一个强有力的假设，但我们证明了它在基于硬件的结构中是合理的，例如Fisch等人。在ACM CCS 2017年。我们的构造基于可验证的公钥加密方案(Nieto等人)。在SCN 2012中)、签名方案和安全硬件方案，我们称之为VFE-HW。最后，我们讨论了使用英特尔软件保护扩展(Intel SGX)实现VFE-HW的方法。
Most functional encryption schemes implicitly assume that inputs to decryption algorithms, i.e., secret keys and ciphertexts, are generated honestly. However, they may be tampered by malicious adversaries. Thus, verifiable functional encryption (VFE) was proposed by Badrinarayanan et al. in ASIACRYPT 2016 where anyone can publicly check the validity of secret keys and ciphertexts. They employed indistinguishability-based (IND-based) security due to an impossibility result of simulation-based (SIM-based) VFE even though SIM-based security is more desirable. In this paper, we propose a SIM-based VFE scheme. To bypass the impossibility result, we introduce a trusted setup assumption. Although it appears to be a strong assumption, we demonstrate that it is reasonable in a hardware-based construction, e.g., Fisch et al. in ACM CCS 2017. Our construction is based on a verifiable public-key encryption scheme (Nieto et al. in SCN 2012), a signature scheme, and a secure hardware scheme, which we refer to as VFE-HW. Finally, we discuss an implementation of VFE-HW using Intel Software Guard Extensions (Intel SGX).
登录
查看更多内容
重新审视双线性群中的属性隐藏谓词加密
DOI：
--
发表时间：
2017
期刊：
Theory of Cryptography Conference
影响因子：
--
作者：
H. Wee
通讯作者：
H. Wee
DOI：
10.1109/sp40000.2020.00089
发表时间：
2020-05
期刊：
2020 IEEE Symposium on Security and Privacy (SP)
影响因子：
--
作者：
Jo Van Bulck;D. Moghimi;Michael Schwarz;Moritz Lipp;Marina Minkin;Daniel Genkin;Y. Yarom;B. Sunar-B.-Su
通讯作者：
Jo Van Bulck;D. Moghimi;Michael Schwarz;Moritz Lipp;Marina Minkin;Daniel Genkin;Y. Yarom;B. Sunar-B.-Su
使用Intel SGX的模块化边缘计算平台的提案和评估
DOI：
--
发表时间：
2023
期刊：
影响因子：
--
作者：
Hisaaki Yamaba;Kenya Shiraishi;Shotaro Usuzaki;Kayoko Takatsuka;Kentaro Aburada;Tetsuro Katayama;Mirang Park;Naonobu Okazak;西平侑磨，鈴木達也，石橋拓哉，柿崎淑朗，大東俊博，渡邉英伸，近堂徹，相原玲二
通讯作者：
西平侑磨，鈴木達也，石橋拓哉，柿崎淑朗，大東俊博，渡邉英伸，近堂徹，相原玲二
影响因子：
3
作者：
B. Barak;R. Pass
通讯作者：
R. Pass
DOI：
10.1007/978-3-030-45374-9_3
发表时间：
2020
期刊：
IACR Cryptol. ePrint Arch.
影响因子：
--
作者：
Najmeh Soroush;Vincenzo Iovino;A. Rial;P. B. Rønne;P. Ryan
通讯作者：
P. Ryan