Abstract:Cloud computing enables customers with limited computational resources to outsource large-scale computational tasks to the cloud, where massive computational power can be easily utilized in a pay-per-use manner. However, security is the major concern that prevents the wide adoption of computation outsourcing in the cloud, especially when end-user's confidential data are processed and produced during the computation. Thus, secure outsourcing mechanisms are in great need to not only protect sensitive information by enabling computations with encrypted data, but also protect customers from malicious behaviors by validating the computation result. Such a mechanism of general secure computation outsourcing was recently shown to be feasible in theory, but to design mechanisms that are practically efficient remains a very challenging problem. Focusing on engineering computing and optimization tasks, this paper investigates secure outsourcing of widely applicable linear programming (LP) computations. In order to achieve practical efficiency, our mechanism design explicitly decomposes the LP computation outsourcing into public LP solvers running on the cloud and private LP parameters owned by the customer. The resulting flexibility allows us to explore appropriate security/efficiency tradeoff via higher-level abstraction of LP computations than the general circuit representation. In particular, by formulating private data owned by the customer for LP problem as a set of matrices and vectors, we are able to develop a set of efficient privacy-preserving problem transformation techniques, which allow customers to transform original LP problem into some random one while protecting sensitive input/output information. To validate the computation result, we further explore the fundamental duality theorem of LP computation and derive the necessary and sufficient conditions that correct result must satisfy. Such result verification mechanism is extremely efficient and incurs close-to-zero additional cost on both cloud server and customers. Extensive security analysis and experiment results show the immediate practicability of our mechanism design.

Secure outsourced computation of the characteristic polynomial and eigenvalues of matrix

Outsourcing Eigen-Decomposition and Singular Value Decomposition of Large Matrix to a Public Cloud

Outsourcing Large-Scale Quadratic Programming to A Public Cloud

Secure outsourcing of large matrix determinant computation

Secure And Verifiable Outsourcing Of Large-Scale Matrix Inversion Without Precondition In Cloud Computing

A secure and efficient framework for outsourcing large-scale matrix determinant and linear equations

Secure and efficient protocol for outsourcing large matrix determinant computation to semi-honest cloud

Harnessing the Cloud for Securely Outsourcing Large-Scale Systems of Linear Equations

Secure and Verifiable Outsourcing Algorithm for Large-Scale Matrix Multiplication on Public Cloud Server

Privacy preserving, verifiable and efficient outsourcing algorithm for matrix multiplication to a malicious cloud server

Outsourcing Computing of Large Matrix Jordan Decomposition

Harnessing the Cloud for Securely Solving Large-Scale Systems of Linear Equations

Outsourcing Large-Scale Systems of Linear Matrix Equations in Cloud Computing.

Secure and Practical Outsourcing of Linear Programming in Cloud Computing

Secure Outsourcing Algorithms of Modular Exponentiations with Optimal Checkability Based on a Single Untrusted Cloud Server

Secure Optimization Computation Outsourcing in Cloud Computing: A Case Study of Linear Programming.

Secure Outsourcing of Matrix Determinant Computation under the Malicious Cloud

Practical Secure Computation Outsourcing

Secure and efficient outsourcing computation on large-scale linear regressions

Privacy-preserving large-scale systems of linear equations in outsourcing storage and computation

An Efficient and Secure Outsourcing Algorithm for Bilinear Pairing Computation