preprintIACR Cryptology ePrint ArchiveJan 1, 2004Closed access

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

VSVictor Shoup

New York University

Abstract

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

Citation impact

758
total citations
FWCI
—
Percentile
—
References
36
Citations per year

Authors

1

Topics & keywords

Topics
Keywords
  • Mathematical proof
  • Computer science
  • Theoretical computer science
  • Computer security
  • Mathematics
  • Geometry
No related works found for this paper.