Encrypted Program Execution

Outsourcing computation becomes more and more popular in the new era of Cloud computing. Programs can be transmitted in encrypted form, but currently for execution they must be decrypted and program code may be disclosed. The main goal of this paper is to provide a reasonable method for executing arbitrary programs in encrypted space without decryption based on homomorphic cryptography. We revise the method of Brenner et al. [1], [2] for secure execution of arbitrary programs in encrypted space and show how to improve its performance in several aspects: machine architecture, memory access and solve the termination problem for encrypted execution. We implement the virtual machine capable of executing encrypted programs without decryption and the C compiler for it.