A machinechecked formalization of the generic model and the random oracle model (2004)

by Gilles Barthe, Jan Cederquist, Sabrina Tarento
Venue:In Proc. 2nd International Joint Conference on Automated Reasoning (IJCAR’04), volume 3097 of Lecture Notes in Artificial Intelligence