Title: New verifiable outsourced computation scheme for an arbitrary function

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.

DOI: 10.1504/IJGUC.2016.080187

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: 07 Nov 2016 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article