Authors: Can Xiang; Chunming Tang
Addresses: College of Mathematics and Informatics, South China Agricultural University, Guangzhou 510642, China ' College of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China; Key Laboratory of Mathematics and Interdisciplinary Sciences of Guangdong Higher Education Institutes, Guangzhou University, Guangzhou 510006, China
Abstract: We study the construction of efficient verifiable outsourced computation for arbitrary functions. We improve previous verifiable outsourced computation schemes for arbitrary functions by using hybrid encryption based on fully homomorphic encryption and introducing multi-free gates in circuits, which can efficiently outsource the computation of an arbitrary function f on arbitrary input x to an untrusted cloud server, and reduce the one-time security error and the client's computation cost. Moreover, our scheme can greatly reduce online communication cost. Finally, we prove the security and the efficiency of our scheme.
Keywords: cloud computing; outsourced computation; verifiable security; verification; efficiency; arbitrary functions; cloud security; hybrid encryption; homomorphic encryption; multi-free gates; cryptography.
International Journal of Grid and Utility Computing, 2016 Vol.7 No.3, pp.190 - 199
Received: 08 Oct 2014
Accepted: 08 Feb 2015
Published online: 01 Nov 2016 *