Paper Info
Title
Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
Abstract
The rapid expansion and increased popularity of cloud computing comes with no shortage of privacy concerns about outsourcing computation to semi-trusted parties. Leveraging the power of encryption, in this paper, we introduce Cryptoleq: an abstract machine based on the concept of one instruction set computer, capable of performing general-purpose computation on encrypted programs. The program operands are protected using the Paillier partially homomorphic cryptosystem, which supports addition on the encrypted domain. Full homomorphism over addition and multiplication, which is necessary for enabling general-purpose computation, is achieved by inventing a heuristically obfuscated software re-encryption module written using Cryptoleq instructions and blended into the executing program. Cryptoleq is heterogeneous, allowing mixing encrypted and unencrypted instruction operands in the same program memory space. Programming with Cryptoleq is facilitated using an enhanced assembly language that allows the development of any advanced algorithm on encrypted data sets. In our evaluation, we compare Cryptolequ0027s performance against a popular fully homomorphic encryption library, and demonstrate correctness using a typical private information retrieval problem.
Year
DOI
Venue
2015
10.1109/TIFS.2016.2569062
IEEE Trans. Information Forensics and Security
Keywords
DocType
Volume
Abstract Machine,Compiler,Encrypted Computation,Heterogeneous Computer,Homomorphic Encryption,Obfuscation,One Instruction Set Computer,Paillier
Journal
11
Issue
ISSN
Citations 
9
1556-6013
7
PageRank 
References 
Authors
0.59
36
3
Name
Order
Citations
PageRank
Oleg Mazonka1204.37
Nektarios Georgios Tsoutsos2629.83
M. Maniatakos335835.84