@inproceedings{ dblp1488629,
  title = {Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs},
  author = {Gilles Barthe and Benjamin Grégoire and César Kunz and Yassine Lakhnech and Santiago Zanella Béguelin},
  author_short = {Barthe, G. and Grégoire, B. and Kunz, C. and Lakhnech, Y. and Zanella Béguelin, S.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp1488629},
  id = {dblp1488629},
  biburl = {http://www.dblp.org/rec/bibtex/conf/cpp/BartheGKLB12},
  url = {http://dx.doi.org/10.1007/978-3-642-35308-6_3},
  conference = {CPP},
  pages = {7-8},
  text = {CPP 2012:7-8},
  booktitle = {Proceedings of CPP}
}

{"_id":{"_str":"5273ded557266d0f1e000170"},"__v":0,"authorIDs":[],"author_short":["Barthe, G.","Grégoire, B.","Kunz, C.","Lakhnech, Y.","Zanella Béguelin, S."],"bibbaseid":"barthe-grgoire-kunz-lakhnech-zanellabguelin-automationincomputeraidedcryptographyproofsattacksanddesigns-2012","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp1488629\"> </a>Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs.</span>\n\t<span class=\"bibbase_paper_author\">\nBarthe, G.; Grégoire, B.; Kunz, C.; Lakhnech, Y.; 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 CPP</i>, page 7-8, 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('barthe-grgoire-kunz-lakhnech-zanellabguelin-automationincomputeraidedcryptographyproofsattacksanddesigns-2012', 'http://dx.doi.org/10.1007/978-3-642-35308-6_3')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1007/978-3-642-35308-6_3\"\n onclick=\"javascript:log_download('barthe-grgoire-kunz-lakhnech-zanellabguelin-automationincomputeraidedcryptographyproofsattacksanddesigns-2012', 'http://dx.doi.org/10.1007/978-3-642-35308-6_3')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs [.1007/978-3-642-35308-6_3]\" \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('dblp1488629')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs [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":"barthe-grgoire-kunz-lakhnech-zanellabguelin-automationincomputeraidedcryptographyproofsattacksanddesigns-2012","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-35308-6_3"},"role":"author","bibtex":"@inproceedings{ dblp1488629,\n title = {Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs},\n author = {Gilles Barthe and Benjamin Grégoire and César Kunz and Yassine Lakhnech and Santiago Zanella Béguelin},\n author_short = {Barthe, G. and Grégoire, B. and Kunz, C. and Lakhnech, Y. and Zanella Béguelin, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1488629},\n id = {dblp1488629},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cpp/BartheGKLB12},\n url = {http://dx.doi.org/10.1007/978-3-642-35308-6_3},\n conference = {CPP},\n pages = {7-8},\n text = {CPP 2012:7-8},\n booktitle = {Proceedings of CPP}\n}","booktitle":"Proceedings of CPP","text":"CPP 2012:7-8","pages":"7-8","conference":"CPP","url":"http://dx.doi.org/10.1007/978-3-642-35308-6_3","biburl":"http://www.dblp.org/rec/bibtex/conf/cpp/BartheGKLB12","id":"dblp1488629","key":"dblp1488629","year":"2012","type":"inproceedings","bibtype":"inproceedings","author_short":["Barthe, G.","Grégoire, B.","Kunz, C.","Lakhnech, Y.","Zanella Béguelin, S."],"author":["Gilles Barthe","Benjamin Grégoire","César Kunz","Yassine Lakhnech","Santiago Zanella Béguelin"],"title":"Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cpp/BartheGKLB12","downloads":0,"search_terms":["automation","computer","aided","cryptography","proofs","attacks","designs","barthe","grégoire","kunz","lakhnech","zanella béguelin"],"title":"Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs","year":2012,"dataSources":["2NZFELyzwDcK8epdK"]}