@inproceedings{ dblp1489692,
  title = {Verified Security of Merkle-Damgård},
  author = {Michael Backes and Gilles Barthe and Matthias Berg and Benjamin Grégoire and César Kunz and Malte Skoruppa and Santiago Zanella Béguelin},
  author_short = {Backes, M. and Barthe, G. and Berg, M. and Grégoire, B. and Kunz, C. and Skoruppa, M. and Zanella Béguelin, S.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp1489692},
  id = {dblp1489692},
  biburl = {http://www.dblp.org/rec/bibtex/conf/csfw/BackesBBGKSB12},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2012.14},
  conference = {CSF},
  pages = {354-368},
  text = {CSF 2012:354-368},
  booktitle = {Proceedings of IEEE Computer Security Foundations Symposium (CSF)}
}

{"_id":{"_str":"5273ded557266d0f1e000165"},"__v":0,"authorIDs":[],"author_short":["Backes, M.","Barthe, G.","Berg, M.","Grégoire, B.","Kunz, C.","Skoruppa, M.","Zanella Béguelin, S."],"bibbaseid":"backes-barthe-berg-grgoire-kunz-skoruppa-zanellabguelin-verifiedsecurityofmerkledamgrd-2012","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp1489692\"> </a>Verified Security of Merkle-Damgård.</span>\n\t<span class=\"bibbase_paper_author\">\nBackes, M.; Barthe, G.; Berg, M.; Grégoire, B.; Kunz, C.; Skoruppa, M.; and Zanella Béguelin, S.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2012</span>. -->\n</span>\n\n\n\nIn\n<i>Proceedings of IEEE Computer Security Foundations Symposium (CSF)</i>, page 354-368, 2012.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('backes-barthe-berg-grgoire-kunz-skoruppa-zanellabguelin-verifiedsecurityofmerkledamgrd-2012', 'http://doi.ieeecomputersociety.org/10.1109/CSF.2012.14')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://doi.ieeecomputersociety.org/10.1109/CSF.2012.14\"\n onclick=\"javascript:log_download('backes-barthe-berg-grgoire-kunz-skoruppa-zanellabguelin-verifiedsecurityofmerkledamgrd-2012', 'http://doi.ieeecomputersociety.org/10.1109/CSF.2012.14')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Verified Security of Merkle-Damgård [.14]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n \n \n <a href=\"javascript:showBib('dblp1489692')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Verified Security of Merkle-Damgård [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span></a>\n \n &nbsp; \n\n \n \n &nbsp;\n \n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"backes-barthe-berg-grgoire-kunz-skoruppa-zanellabguelin-verifiedsecurityofmerkledamgrd-2012","urls":{"Paper":"http://doi.ieeecomputersociety.org/10.1109/CSF.2012.14"},"role":"author","bibtex":"@inproceedings{ dblp1489692,\n title = {Verified Security of Merkle-Damgård},\n author = {Michael Backes and Gilles Barthe and Matthias Berg and Benjamin Grégoire and César Kunz and Malte Skoruppa and Santiago Zanella Béguelin},\n author_short = {Backes, M. and Barthe, G. and Berg, M. and Grégoire, B. and Kunz, C. and Skoruppa, M. and Zanella Béguelin, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1489692},\n id = {dblp1489692},\n biburl = {http://www.dblp.org/rec/bibtex/conf/csfw/BackesBBGKSB12},\n url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2012.14},\n conference = {CSF},\n pages = {354-368},\n text = {CSF 2012:354-368},\n booktitle = {Proceedings of IEEE Computer Security Foundations Symposium (CSF)}\n}","booktitle":"Proceedings of IEEE Computer Security Foundations Symposium (CSF)","text":"CSF 2012:354-368","pages":"354-368","conference":"CSF","url":"http://doi.ieeecomputersociety.org/10.1109/CSF.2012.14","biburl":"http://www.dblp.org/rec/bibtex/conf/csfw/BackesBBGKSB12","id":"dblp1489692","key":"dblp1489692","year":"2012","type":"inproceedings","bibtype":"inproceedings","author_short":["Backes, M.","Barthe, G.","Berg, M.","Grégoire, B.","Kunz, C.","Skoruppa, M.","Zanella Béguelin, S."],"author":["Michael Backes","Gilles Barthe","Matthias Berg","Benjamin Grégoire","César Kunz","Malte Skoruppa","Santiago Zanella Béguelin"],"title":"Verified Security of Merkle-Damgård"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/csfw/BackesBBGKSB12","downloads":0,"search_terms":["verified","security","merkle","damg","backes","barthe","berg","grégoire","kunz","skoruppa","zanella béguelin"],"title":"Verified Security of Merkle-Damgård","year":2012,"dataSources":["GKDutFTh7YQKYikdv"]}