Privacy-Preserving Multi-Party Reconciliation Secure in the Malicious Model (Extended version)
In this paper we introduce the novel notion called <i>Verifiable Private Equality Test</i> (VPET) and propose an efficient 2-party protocol for its implementation. VPET enables two parties to securely perform an arbitrary number of comparisons on a fixed collection of (key, value) pairs and thus it is more generic than existing techniques such as <i>Private Equality Test</i> and <i>Private Set Intersection</i>. In addition, we demonstrate how higher-level protocols such as <i>Privacy-Preserving Reconciliation on Ordered Sets</i> (PROS) can be implemented using VPET. Using simulation-based techniques, our new protocols are proven secure in the malicious model. Furthermore, we present a theoretical complexity analysis as well as a thorough experimental performance evaluation of the C++ implementation of our new VPET and PROS protocols.