Author:Benjamin Grégoire

Keyphrases

block cipher mode, collision probability, EasyCrypt, formal proof, independence, MAC, probabilistic programs, program verification, relational logic, Security, security proof, uniformity.