a framework for game - based security proofs .
probabilistic encryption and how to play mental poker keeping secret all partial information .