%0 Conference Paper %1 conf/csfw/BackesBBGKSB12 %A Backes, Michael %A Barthe, Gilles %A Berg, Matthias %A Grégoire, Benjamin %A Kunz, César %A Skoruppa, Malte %A Béguelin, Santiago Zanella %B CSF %D 2012 %E Chong, Stephen %I IEEE Computer Society %K %P 354-368 %T Verified Security of Merkle-Damgård. %U http://dblp.uni-trier.de/db/conf/csfw/csf2012.html#BackesBBGKSB12 %@ 978-1-4673-1918-8

@inproceedings{conf/csfw/BackesBBGKSB12, added-at = {2023-12-13T09:53:06.000+0100}, author = {Backes, Michael and Barthe, Gilles and Berg, Matthias and Grégoire, Benjamin and Kunz, César and Skoruppa, Malte and Béguelin, Santiago Zanella}, biburl = {https://www.bibsonomy.org/bibtex/2ed01bd53331c05dc7dc03c3f6e3313d4/admin}, booktitle = {CSF}, crossref = {conf/csfw/2012}, editor = {Chong, Stephen}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2012.14}, interhash = {d285380ea8cd953a8733abb8f5bfbebb}, intrahash = {ed01bd53331c05dc7dc03c3f6e3313d4}, isbn = {978-1-4673-1918-8}, keywords = {}, pages = {354-368}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T09:53:06.000+0100}, title = {Verified Security of Merkle-Damgård.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2012.html#BackesBBGKSB12}, year = 2012 }