A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version).
['Ricardo Corin', 'Jerry den Hartog']
A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version).