Paper 2015/1226

Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation

Oleg Mazonka, Nektarios Georgios Tsoutsos, and Michail Maniatakos

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 development of any advanced algorithm on encrypted datasets. In our evaluation, we compare Cryptoleq's performance against a popular fully homomorphic encryption library, and demonstrate correctness using a typical Private Information Retrieval problem.

Note: Details about Cryptoleq and the CEAL compiler are available here: https://github.com/momalab/cryptoleq

Metadata
Available format(s)
PDF
Category
Applications
Publication info
Published elsewhere. IEEE Transactions on Information Forensics & Security
DOI
10.1109/TIFS.2016.2569062
Keywords
encrypted computation
Contact author(s)
nektarios tsoutsos @ nyu edu
History
2016-05-13: last of 2 revisions
2015-12-23: received
See all versions
Short URL
https://ia.cr/2015/1226
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2015/1226,
      author = {Oleg Mazonka and Nektarios Georgios Tsoutsos and Michail Maniatakos},
      title = {Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation},
      howpublished = {Cryptology ePrint Archive, Paper 2015/1226},
      year = {2015},
      doi = {10.1109/TIFS.2016.2569062},
      note = {\url{https://eprint.iacr.org/2015/1226}},
      url = {https://eprint.iacr.org/2015/1226}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.