%0 Conference Paper %1 conf/types/BartheT04 %A Barthe, Gilles %A Tarento, Sabrina %B TYPES %D 2004 %E Filliâtre, Jean-Christophe %E Paulin-Mohring, Christine %E Werner, Benjamin %I Springer %K dblp %P 33-49 %T A Machine-Checked Formalization of the Random Oracle Model. %U http://dblp.uni-trier.de/db/conf/types/types2004.html#BartheT04 %V 3839 %@ 3-540-31428-8

@inproceedings{conf/types/BartheT04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Barthe, Gilles and Tarento, Sabrina}, biburl = {https://www.bibsonomy.org/bibtex/28c7968c001e870c526696c6d578e107a/dblp}, booktitle = {TYPES}, crossref = {conf/types/2004}, editor = {Filliâtre, Jean-Christophe and Paulin-Mohring, Christine and Werner, Benjamin}, ee = {https://doi.org/10.1007/11617990_3}, interhash = {afe3dbdda5eef9a084fc6ca3b51f638b}, intrahash = {8c7968c001e870c526696c6d578e107a}, isbn = {3-540-31428-8}, keywords = {dblp}, pages = {33-49}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:14:55.000+0200}, title = {A Machine-Checked Formalization of the Random Oracle Model.}, url = {http://dblp.uni-trier.de/db/conf/types/types2004.html#BartheT04}, volume = 3839, year = 2004 }