Sequences of games: a tool for taming complexity in security proofs.

Abstract

This paper is brief tutorial on a technique for structuring security proofs as sequences games.