Secure outsourced garbled circuit evaluation for mobile devices

被引:26
|
作者
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
相关论文
共 30 条
  • [11] Actively Secure Garbled Circuits with Constant Communication Overhead in the Plain Model
    Carmit Hazay
    Yuval Ishai
    Muthuramakrishnan Venkitasubramaniam
    Journal of Cryptology, 2023, 36
  • [12] ENCODING FUNCTIONS WITH CONSTANT ONLINE RATE, OR HOW TO COMPRESS GARBLED CIRCUIT KEYS
    Applebaum, Benny
    Ishai, Yuval
    Kushilevitz, Eyal
    Waters, Brent
    SIAM JOURNAL ON COMPUTING, 2015, 44 (02) : 433 - 466
  • [13] Leakage-Resilient Chosen-Ciphertext Secure Functional Encryption from Garbled Circuits
    Wang, Huige
    Chen, Kefei
    Liu, Joseph K.
    Hu, Ziyuan
    INFORMATION SECURITY PRACTICE AND EXPERIENCE (ISPEC 2018), 2018, 11125 : 119 - 140
  • [14] Secure Function Evaluation Using an FPGA Overlay Architecture
    Fang, Xin
    Ioannidis, Stratis
    Leeser, Miriam
    FPGA'17: PROCEEDINGS OF THE 2017 ACM/SIGDA INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE GATE ARRAYS, 2017, : 257 - 266
  • [15] A Practical, Secure, and Verifiable Cloud Computing for Mobile Systems
    Premnath, Sriram N.
    Haas, Zygmunt J.
    9TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC'14) / THE 11TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC'14) / AFFILIATED WORKSHOPS, 2014, 34 : 474 - 483
  • [16] MPCircuits: Optimized Circuit Generation for Secure Multi-Party Computation
    Riazi, M. Sadegh
    Javaheripi, Mojan
    Hussain, Siam U.
    Koushanfar, Farinaz
    PROCEEDINGS OF THE 2019 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST (HOST), 2019, : 198 - 207
  • [17] Secure and Private Function Evaluation with Intel SGX
    Felsen, Susanne
    Kiss, Agnes
    Schneider, Thomas
    Weinert, Christian
    CCSW'19: PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON CLOUD COMPUTING SECURITY WORKSHOP, 2019, : 165 - 181
  • [18] Rate-limited secure function evaluation
    Dagdelen, Oezguer
    Mohassel, Payman
    Venturi, Daniele
    THEORETICAL COMPUTER SCIENCE, 2016, 653 : 53 - 78
  • [19] SPE: Security and Privacy Enhancement Framework for Mobile Devices
    Krupp, Brian
    Sridhar, Nigamanth
    Zhao, Wenbing
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2017, 14 (04) : 433 - 446
  • [20] A single shuffle is enough for secure card-based computation of any Boolean circuit
    Shinagawa, Kazumasa
    Nuida, Koji
    DISCRETE APPLIED MATHEMATICS, 2021, 289 : 248 - 261