@INPROCEEDINGS {4844, author={ and J.C. Cederquist and }, doi={}, booktitle={International Joint Conf. on Automated Reasoning - IJCAR}, title={A Machine-Checked Formalization of the Generic Model and the Random Oracle Model}, year={2004}, month={July}, volume={LNCS 3097}, pages={385-399} }