Flexible revocation and verifiability for outsourced Private Set Intersection computation

Abstract

Private Set Intersection (PSI) is a fundamental cryptographic protocol with a wide range of application scenarios. It is the method that allows multiple parties who hold private data sets to calculate the intersection of their data without revealing any information other than the intersection to others. Cloud computing reduces computation and data management overhead by outsourcing such computations. However, since the cloud is not trustworthy, cryptographic methods need to be applied to maintain the confidentiality of outsourced datasets, and verifiable computing algorithms need to be used to detect the correctness of outsourced computations. But encryption reduces the availability, which creates challenges for PSI calculations. For the first time, this paper presents a revocable and verifiable private set intersection (RV-PSI) scheme, which provides an efficient verification function and a flexible authorization-revocation mechanism. RV-PSI enables data owners to exercise fine-grained access control over outsourced datasets in PSI computations. Security definitions of RV-PSI and corresponding proofs are provided in this paper. And we implement our scheme and report by performance evaluation results.