SEVDSI: Secure, Efficient and Verifiable Data Set Intersection. | AMiner