The Simplest Protocol for Oblivious Transfer
Sequences of Games: A Tool for Taming Complexity in Security Proofs