Bilinear-map accumulator-based verifiable intersection operations on encrypted data in cloud
(Leveled) Fully Homomorphic Encryption without Bootstrapping