A machine-checked formalization of the generic model and the random oracle model (2004)

by G Barthe, J Cerderquist, S Tarento
Venue:In Automated Reasoning: Second International Joint Conference (IJCAR), number 3097 in LNCS