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

by Gilles Barthe , Jan Cederquist , Sabrina Tarento
Venue:Automated Reasoning: Second International Joint Conference, IJCAR 2004, number 3097 in LNCS
Citations:22 - 5 self