Abstract:Although secure multi-party computation breaks down data barriers, its utility is reduced when participants have limited computation and communication resources. To make secure multi-party computation more practical, there exists an approach to distribute users' private inputs to multiple servers in a secret sharing manner, and the servers accomplish secure computation tasks through interaction. We propose a new secure computation framework that enables the detection of malicious cloud servers by introducing homomorphic MACs. We utilize pairing-based homomorphic commitments to record MACs on a bulletin board, providing public verifiability while reducing the computation burden on the cloud servers. Additionally, our framework not only supports the underlying general computation, but also prepares for various types of nontrivial high-level operations, such as comparison and bit decomposition. We design a smart payment platform enabling fair payment with the help of smart contracts to protect the rights of both data owners and cloud service providers. Compared to previous works, our framework breaks the limitations of servers being restricted to semi-honest or even honest and provides public verifiability. Performance evaluations demonstrate satisfactory computation and communication efficiency during the online phase of our system.

A Secure Two-Party Bargaining Protocol Based on Additive Homomorphic Public Key Cryptosystem

An Improved Secure Two-Party Bargaining Protocol

Secure Multiparty Computation of Set Membership and Its Applications

Secure Two-party Protocol for Multiplication of Shared Secrets

Efficient Secure Multiparty Computation Based on Homomorphic Encryption

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

Practical Two-Party SM2 Signing Using Multiplicative-to-additive Functionality

Secure Two-Party Computational Geometry

Improved multiparty quantum private comparison based on quantum homomorphic encryption

Homomorphic Encryption Scheme and A Protocol on Secure Computing a Line by Two Private Points

Secure Multi-Party Quantum Summation Based on Quantum Homomorphic Encryption

Symmetric cryptographic solution to Yao’s millionaires’ problem and an evaluation of secure multiparty computations

Practical multi-party quantum homomorphic encryption

Verifiable quantum protocol for dynamic secure multiparty summation based on homomorphic encryption

Secure Two-Party Computation for Set Intersection Problem

Verifiable Threshold Secret Sharing and Full Fair Secure Two-Party Computation

Secure Two-Party Comparing Protocol Based on Evaluation of Encrypted Functions

Fast Two-Output Secure Computation with Optimal Error Probability

Secure multi-party computation solution to Yao's millionaires' problem based on set-inclusion

Design and Analysis of Two Efficient Socialist Millionaires’ Protocols for Privacy Protection

Research on Security Multi-Party Computing Based on Game Theory