Implementing Support for Pointers to Private Data in a General-Purpose Secure Multi-Party Compiler
Autor: | Ghada Almashaqbeh, Yihua Zhang, Marina Blanton |
---|---|
Rok vydání: | 2017 |
Předmět: |
FOS: Computer and information sciences
0301 basic medicine Computer Science - Cryptography and Security General Computer Science Computer science computer.software_genre Secret sharing 03 medical and health sciences 0302 clinical medicine Safety Risk Reliability and Quality computer.programming_language ANSI C Computer Science - Programming Languages C dynamic memory allocation Programming language business.industry Usability Data structure 030104 developmental biology 030220 oncology & carcinogenesis Pointer (computer programming) Secure multi-party computation Compiler business Cryptography and Security (cs.CR) computer Programming Languages (cs.PL) |
Zdroj: | ACM Transactions on Privacy and Security. 21:1-34 |
ISSN: | 2471-2574 2471-2566 |
DOI: | 10.1145/3154600 |
Popis: | Recent compilers allow a general-purpose program (written in a conventional programming language) that handles private data to be translated into a secure distributed implementation of the corresponding functionality. The resulting program is then guaranteed to provably protect private data using secure multi-party computation techniques. The goals of such compilers are generality, usability, and efficiency, but the complete set of features of a modern programming language has not been supported to date by the existing compilers. In particular, recent compilers PICCO and the two-party ANSI C compiler strive to translate any C program into its secure multi-party implementation, but they currently lack support for pointers and dynamic memory allocation, which are important components of many C programs. In this work, we mitigate the limitation and add support for pointers to private data and consequently dynamic memory allocation to the PICCO compiler, enabling it to handle a more diverse set of programs over private data. Because doing so opens up a new design space, we investigate the use of pointers to private data (with known as well as private locations stored in them) in programs and report our findings. Aside from dynamic memory allocation, we examine other important topics associated with common pointer use such as reference by pointer/address, casting, and building various data structures in the context of secure multi-party computation. This results in enabling the compiler to automatically translate a user program that uses pointers to private data into its distributed implementation that provably protects private data throughout the computation. We empirically evaluate the constructions and report on the performance of representative programs. |
Databáze: | OpenAIRE |
Externí odkaz: |