Welcome to the resource topic for 2004/332
Sequences of games: a tool for taming complexity in security proofs
Authors: Victor ShoupAbstract:
This paper is a brief tutorial on a technique for structuring security proofs as sequences of games.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .