@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} 
}