Towards an interpreter for efficient encrypted computation

Fully homomorphic encryption (FHE) techniques are capable of performing encrypted computation on Boolean circuits, i.e., the user specifies encrypted inputs to the program, and the server computes on the encrypted inputs. Applying these techniques to general programs with recursive procedures and da...

Full description

Bibliographic Details
Main Authors: Devadas, Srinivas, Fletcher, Christopher Wardlaw, Van Dijk, Marten
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Association for Computing Machinery (ACM) 2014
Online Access:http://hdl.handle.net/1721.1/86170
https://orcid.org/0000-0001-8253-7714
https://orcid.org/0000-0002-1224-0314
https://orcid.org/0000-0003-1467-2150