[Resource Topic] 2004/332: Sequences of games: a tool for taming complexity in security proofs

Welcome to the resource topic for 2004/332

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

Authors: Victor Shoup

Abstract:

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

ePrint: https://eprint.iacr.org/2004/332

See all topics related to this paper.

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 .