Secure outsourced garbled circuit evaluation for mobile devices

被引:32
作者
Carter, Henry [1 ]
Mood, Benjamin [2 ]
Traynor, Patrick [2 ]
Butler, Kevin [2 ]
机构
[1] Georgia Inst Technol, Sch Comp Sci, Atlanta, GA 30332 USA
[2] Univ Florida, Sch Comp & Informat Sci & Engn, Gainesville, FL USA
基金
美国国家科学基金会;
关键词
Garbled circuits; mobile privacy; secure function evaluation;
D O I
10.3233/JCS-150540
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Garbled circuits provide a powerful tool for jointly evaluating functions while preserving the privacy of each user's inputs. While recent research has made the use of this primitive more practical, such solutions generally assume that participants are symmetrically provisioned with massive computing resources. In reality, most people on the planet only have access to the comparatively sparse computational resources associated with their mobile phones, and those willing and able to pay for access to public cloud computing infrastructure cannot be assured that their data will remain unexposed. We address this problem by creating a new SFE protocol that allows mobile devices to securely outsource the majority of computation required to evaluate a garbled circuit. Our protocol, which builds on the most efficient garbled circuit evaluation techniques, includes a new outsourced oblivious transfer primitive that requires significantly less bandwidth and computation than standard OT primitives and outsourced input validation techniques that force the cloud to prove that it is executing all protocols correctly. After showing that our extensions are secure in the malicious model, we conduct an extensive performance evaluation for a number of standard SFE test applications as well as a privacy-preserving navigation application designed specifically for the mobile use-case. Our system reduces execution time by 98.92% and bandwidth by 99.95% for the edit distance problem of size 128 compared to non-outsourced evaluation. These results show that even the least capable devices are capable of using large garbled circuits for secure computation.
引用
收藏
页码:137 / 180
页数:44
相关论文
共 63 条
[1]  
[Anonymous], 2011, P USENIX SEC S
[2]  
[Anonymous], 2013, THESIS
[3]  
Asharov G., 2013, P ACM C COMP COMM SE
[4]  
Bellare M., 1990, ADV CRYPTOLOGY CRYPT
[5]  
Bendlin R., 2011, P ANN INT C THEOR AP
[6]  
Benor M., 1988, P ANN ACM S THEOR CO
[7]  
Brickell J., 2005, P INT C THEOR APPL C
[8]  
Canetti R., 2002, P ANN ACM S THEOR CO
[9]  
Carter H., 2013, P USENIX SEC S
[10]  
Carter H., 2014, P ANN COMP SEC APPL