Security games and proof techniques

The framework of game-based security proofs: adaptive oracle algorithms and their probabilistic semantics, games and advantages, generic security experiments for encryption, MACs and signatures, asymptotic security, the hybrid argument and the difference lemma, and lazy sampling with the PRP/PRF switching lemma.