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 条
  • [1] Secure learning-based MPC via garbled circuit
    Tjell, Katrine
    Schlueter, Nils
    Binfet, Philipp
    Damp, Moritz Schulze
    2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 4907 - 4914
  • [2] Enforcing Input Correctness via Certification in Garbled Circuit Evaluation
    Zhang, Yihua
    Blanton, Marina
    Bayatbabolghani, Fattaneh
    COMPUTER SECURITY - ESORICS 2017, PT II, 2017, 10493 : 552 - 569
  • [3] For your phone only: custom protocols for efficient secure function evaluation on mobile devices
    Carter, Henry
    Amrutkar, Chaitrali
    Dacosta, Italo
    Traynor, Patrick
    SECURITY AND COMMUNICATION NETWORKS, 2014, 7 (07) : 1165 - 1176
  • [4] Secure Outsourced Biometric Authentication With Performance Evaluation on Smartphones
    Sedenka, Jaroslav
    Govindarajan, Sathya
    Gasti, Paolo
    Balagani, Kiran S.
    IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2015, 10 (02) : 384 - 396
  • [5] Oblivious Outsourcing of Garbled Circuit Generation
    Kerschbaum, Florian
    30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 2134 - 2140
  • [6] Reducing Garbled Circuit Size While Preserving Circuit Gate Privacy
    Wang, Yongge
    Malluhi, Qutaibah M.
    PROGRESS IN CRYPTOLOGY, AFRICACRYPT 2024, 2024, 14861 : 149 - 173
  • [7] Garbled Circuit Lookup Tables with Logarithmic Number of Ciphertexts
    Heath, David
    Kolesnikov, Vladimir
    Ng, Lucien K. L.
    ADVANCES IN CRYPTOLOGY, PT V, EUROCRYPT 2024, 2024, 14655 : 185 - 215
  • [8] Garbled Circuits Reimagined: Logic Synthesis Unleashes Efficient Secure Computation
    Yu, Mingfei
    Marakkalage, Dewmini Sudara
    De Micheli, Giovanni
    CRYPTOGRAPHY, 2023, 7 (04)
  • [9] Recent advancements in garbled computing: How far have we come towards achieving secure, efficient and reusable garbled circuits
    Saleem, Ahsan
    Khan, Abid
    Shahid, Furqan
    Alam, M. Masoom
    Khan, Muhammad Khurram
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2018, 108 : 1 - 19
  • [10] Actively Secure Garbled Circuits with Constant Communication Overhead in the Plain Model
    Hazay, Carmit
    Ishai, Yuval
    Venkitasubramaniam, Muthuramakrishnan
    JOURNAL OF CRYPTOLOGY, 2023, 36 (03)