Abstract:In the artificial intelligence era, data-driven computation tasks, such as machine learning, have been playing an essential role as the decision-maker to unlock the value of big data in many fields. Moreover, the ultimate goal of pursuing accuracy and efficiency improvement to better promote the application of data-driven computation has never changed. Since the main method to improve the accuracy of these tasks (e.g., the model training of machine learning) is to increase the diversity of datasets, this requires multiple data providers to share their data. However, data providers, e.g., private companies, are reluctant to share their datasets directly, considering the privacy protection of user information and the leakage prevention of their business secrets. Therefore, how to securely and efficiently perform joint datasets based data-driven computation tasks has become the main problem. In this work, without getting the aid of any trusted-third party (e.g., the cloud server), we construct an efficient maliciously secure two-party mixed-protocol framework for data-driven computation tasks. In particular, we construct a new cryptography gadget called committed oblivious linear evaluation (C-OLE) based on the homomorphic commitments in the malicious model. Then we construct two types of share conversion protocols in the malicious model with the above C-OLE gadget to construct the two-party mixed-protocol framework for data-driven computation tasks. Without utilizing the random oracle, our framework can provide a stronger security guarantee than the other two-party mixed-protocol frameworks in the literature. Furthermore, we conscientiously evaluate the theoretical efficiency of the two shares conversion protocols and provide the result as an important reference for future developers who intend to securely and efficiently instantiate the data-driven computation tasks (e.g., privacy-preserving machine learning applications) in the malicious model.

MVOC: A Lighter Multi-Client Verifiable Outsourced Computation for Malicious Lightweight Clients

Lighter is Better: A Lighter Multi-client Verifiable Outsourced Computation with Hybrid Homomorphic Encryption

Outsourcing Secure MPC to Untrusted Cloud Environments with Correctness Verification

Private Outsourcing of Polynomial Evaluation and Matrix Multiplication using Multilinear Maps

Publicly Verifiable Secure Multi-Party Computation Framework Based on Bulletin Board

Fortified Multi-Party Computation: Taking Advantage of Simple Secure Hardware Modules

Mixed-protocol multi-party computation framework towards complex computation tasks with malicious security

Maliciously Secure MPC from Semi-Honest 2 PC in the Server-Aided Model

Verifiable computation with access control in cloud computing

Mobile Agent Protection Based on Non-Interactive Secure Function Evaluation

Circuit-Free General-Purpose Multi-Party Computation via Co-Utile Unlinkable Outsourcing

Load-Balanced Server-Aided MPC in Heterogeneous Computing.

Efficient maliciously secure two-party mixed-protocol framework for data-driven computation tasks

Fast Cut-and-Choose Bilateral Oblivious Transfer for Malicious Adversaries

Verifiable Outsourcing Algorithms For Modular Exponentiations With Improved Checkability

An Effective Verifiable Database Protocol in Severe Untrusted Environment

EPVM: efficient and publicly verifiable computation for matrix multiplication with privacy preservation

Publicly Auditable MPC-as-a-Service with succinct verification and universal setup

Verifiable computation over encrypted data via MPC-in-the-head zero-knowledge proofs

Oblivious TLS via Multi-party Computation

Multikey Verifiable Homomorphic Encryption