Séance de cours

Prouver la sécurité : Random Oracle Model