.png){kind=icon}
返回
Computation on Encrypted Data Using Dataflow Authentication
.png){kind=icon}
OA
AI
DOI：10.1145/3513005.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Encrypting data before sending it to the cloud ensures data confidentiality but requires the cloud to compute on encrypted data. Trusted execution environments, such as Intel SGX enclaves, promise to provide a secure environment in which data can be decrypted and then processed. However, vulnerabilities in the executed program give attackers ample opportunities to execute arbitrary code inside the enclave. This code can modify the dataflow of the program and leak secrets via SGX side channels. Fully homomorphic encryption would be an alternative to compute on encrypted data without data leaks. However, due to its high computational complexity, its applicability to general-purpose computing remains limited. Researchers have made several proposals for transforming programs to perform encrypted computations on less powerful encryption schemes. Yet current approaches do not support programs making control-flow decisions based on encrypted data. We introduce the concept of dataflow authentication (DFAuth) to enable such programs. DFAuth prevents an adversary from arbitrarily deviating from the dataflow of a program. Our technique hence offers protections against the side-channel attacks described previously. We implemented two flavors of DFAuth, a Java bytecode-to-bytecode compiler, and an SGX enclave running a small and program-independent trusted code base. We applied DFAuth to a neural network performing machine learning on sensitive medical data and a smart charging scheduler for electric vehicles. Our transformation yields a neural network with encrypted weights, which can be evaluated on encrypted inputs in 12.55 ms. Our protected scheduler is capable of updating the encrypted charging plan in approximately 1.06 seconds.
Keyword:
Trusted code base
trusted execution environment
homomorphic encryption
authenticated encryption
secure cloud computing
期刊
A
IF:
2.8
论文数:
293
被引数:
770
机构
引用论文
Pregnancy Cravings: Visitation at a Food-Provisioning Site is Driven by the Reproductive Status of Bottlenose Dolphins孕期渴望：宽吻海豚在食物供应点的访问行为受其繁殖状态驱动
PREAI
分享收藏A multistressor, multitrait approach to assessing the effects of wind and dust on Eucalyptus tereticornis采用多胁迫因子、多性状方法评估风和粉尘对Eucalyptus tereticornis的影响
OAAI
OAAI分享收藏Molecular Dynamics Simulations of P450 BM3—;Examination of Substrate-Induced Conformational Change
PREAI
分享收藏Capitalizing on an ecological process to aid coral reef ecosystem restoration: Can gastropod trophodynamics enhance coral survival?利用生态过程辅助珊瑚礁生态系统修复：腹足类动物的摄食动力学能否提高珊瑚的存活率？.png)
Coral Reefs
Coral ReefsIF0
PREAI
分享收藏Remembering to execute deferred tasks in simulated air traffic control: The impact of interruptions.OAAI
OAAI分享收藏
查看更多内容