Probabilistic encryption