TY - GEN
T1 - PICCO
T2 - 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013
AU - Zhang, Yihua
AU - Steele, Aaron
AU - Blanton, Marina
PY - 2013
Y1 - 2013
N2 - Secure computation on private data has been an active area of research for many years and has received a renewed interest with the emergence of cloud computing. In recent years, substantial progress has been made with respect to the efficiency of the available techniques and several implementations have appeared. The available tools, however, lacked a convenient mechanism for implementing a general-purpose}program in a secure computation framework suitable for execution in not fully trusted environments. This work fulfills this gap and describes a system, called PICCO, for converting a program written in an extension of C into its distributed secure implementation and running it in a distributed environment. The C extension preserves all current features of the programming language and allows variables to be marked as private and be used in general-purpose computation. Secure distributed implementation of compiled programs is based on linear secret sharing, achieving efficiency and information-theoretical security. Our experiments also indicate that many programs can be evaluated very efficiently on private data using PICCO.
AB - Secure computation on private data has been an active area of research for many years and has received a renewed interest with the emergence of cloud computing. In recent years, substantial progress has been made with respect to the efficiency of the available techniques and several implementations have appeared. The available tools, however, lacked a convenient mechanism for implementing a general-purpose}program in a secure computation framework suitable for execution in not fully trusted environments. This work fulfills this gap and describes a system, called PICCO, for converting a program written in an extension of C into its distributed secure implementation and running it in a distributed environment. The C extension preserves all current features of the programming language and allows variables to be marked as private and be used in general-purpose computation. Secure distributed implementation of compiled programs is based on linear secret sharing, achieving efficiency and information-theoretical security. Our experiments also indicate that many programs can be evaluated very efficiently on private data using PICCO.
KW - compiler
KW - general-purpose computation
KW - linear secret sharing
KW - parallel execution
KW - secure computation outsourcing
KW - secure multi-party computation
KW - source-to-source translator
UR - https://www.scopus.com/pages/publications/84889039708
U2 - 10.1145/2508859.2516752
DO - 10.1145/2508859.2516752
M3 - Conference contribution
AN - SCOPUS:84889039708
SN - 9781450324779
T3 - Proceedings of the ACM Conference on Computer and Communications Security
SP - 813
EP - 825
BT - CCS 2013 - Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security
Y2 - 4 November 2013 through 8 November 2013
ER -