A Framework for Game-Based Security Proofs.

David Nowak

Browse the full ICICS paper archive.