A Machine-Checked Formalization of the Generic Model and the Random Oracle Model.

Gilles Barthe, Jan Cederquist, Sabrina Tarento

Browse the full CADE paper archive.