A Calculus for Game-Based Security Proofs.

David Nowak, Yu Zhang

Browse the full ProvSec paper archive.