a framework for game - based security proofs .
Sequences of Games: A Tool for Taming Complexity in Security Proofs