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.

Practical Privacy Preserving Cloud Resource-Payment for Constrained Clients

A Dual Privacy-Preservation Scheme for Cloud-Based Ehealth Systems

Privacy-Preserving Protocol for Data Stored in the Cloud

Cloud-based Privacy-Preserving Collaborative Consumption for Sharing Economy

Bpf-payment: Fair payment for cloud computing with privacy based on blockchain and homomorphic encryption

Privacy as a Service: Privacy-Aware Data Storage and Processing in Cloud Computing Architectures

Privacy‐preserving Smart Data Storage for Financial Industry in Cloud Computing

A Practical, Secure, and Verifiable Cloud Computing for Mobile Systems

Secure and Practical Outsourcing of Linear Programming in Cloud Computing

Privacy-preserving Image Processing in Cloud Computing

An Efficient Privacy-Preserving Publish-Subscribe Service Scheme for Cloud Computing

Preserving privacy for secure and outsourcing for Linear Programming in cloud computing

How to Protect Reader Lending Privacy under a Cloud Environment: a Technical Method

The Curious Case of the PDF Converter that Likes Mozart: Dissecting and Mitigating the Privacy Risk of Personal Cloud Apps

Economic Costs of Multi-sever Private Information Retrieval in Cloud Computing.

Privacy-Preserving Image Processing in the Cloud.

Efficient Privacy-Preserving Certificateless Public Auditing of Data in Cloud Storage

Efficient Privacy-Friendly and Flexible Wearable Data Processing With User-Centric Access Control

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

Lightweight certificateless privacy-preserving integrity verification with conditional anonymity for cloud-assisted medical cyber-physical systems

SaC-FRAPP: a scalable and cost-effective framework for privacy preservation over big data on cloud.