Sequences of Games: A Tool for Taming Complexity in Security Proofs
Probabilistic encryption