@article{ dblp1538310,
  title = {Automated Analysis and Synthesis of Padding-Based Encryption Schemes},
  author = {Gilles Barthe and Juan Manuel Crespo and Benjamin Grégoire and César Kunz and Yassine Lakhnech and Santiago Zanella Béguelin},
  author_short = {Barthe, G. and Manuel Crespo, J. and Grégoire, B. and Kunz, C. and Lakhnech, Y. and Zanella Béguelin, S.},
  bibtype = {article},
  type = {article},
  year = {2012},
  key = {dblp1538310},
  id = {dblp1538310},
  biburl = {http://www.dblp.org/rec/bibtex/journals/iacr/BartheCGKLB12},
  url = {http://eprint.iacr.org/2012/695},
  journal = {IACR Cryptology ePrint Archive (IACR)},
  pages = {695},
  volume = {2012},
  text = {IACR Cryptology ePrint Archive (IACR) 2012:695 (2012)}
}

{"_id":{"_str":"5273ded557266d0f1e000168"},"__v":0,"authorIDs":[],"author_short":["Barthe, G.","Manuel Crespo, J.","Grégoire, B.","Kunz, C.","Lakhnech, Y.","Zanella Béguelin, S."],"bibbaseid":"barthe-manuelcrespo-grgoire-kunz-lakhnech-zanellabguelin-automatedanalysisandsynthesisofpaddingbasedencryptionschemes-2012","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp1538310\"> </a>Automated Analysis and Synthesis of Padding-Based Encryption Schemes.</span>\n\t<span class=\"bibbase_paper_author\">\nBarthe, G.; Manuel Crespo, J.; 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\n<i>IACR Cryptology ePrint Archive (IACR)</i>,\n\n2012:695.\n\n 2012.\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-manuelcrespo-grgoire-kunz-lakhnech-zanellabguelin-automatedanalysisandsynthesisofpaddingbasedencryptionschemes-2012', 'http://eprint.iacr.org/2012/695')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://eprint.iacr.org/2012/695\"\n onclick=\"javascript:log_download('barthe-manuelcrespo-grgoire-kunz-lakhnech-zanellabguelin-automatedanalysisandsynthesisofpaddingbasedencryptionschemes-2012', 'http://eprint.iacr.org/2012/695')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Automated Analysis and Synthesis of Padding-Based Encryption Schemes [.org/2012/695]\" \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('dblp1538310')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Automated Analysis and Synthesis of Padding-Based Encryption Schemes [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-manuelcrespo-grgoire-kunz-lakhnech-zanellabguelin-automatedanalysisandsynthesisofpaddingbasedencryptionschemes-2012","urls":{"Paper":"http://eprint.iacr.org/2012/695"},"role":"author","bibtex":"@article{ dblp1538310,\n title = {Automated Analysis and Synthesis of Padding-Based Encryption Schemes},\n author = {Gilles Barthe and Juan Manuel Crespo and Benjamin Grégoire and César Kunz and Yassine Lakhnech and Santiago Zanella Béguelin},\n author_short = {Barthe, G. and Manuel Crespo, J. and Grégoire, B. and Kunz, C. and Lakhnech, Y. and Zanella Béguelin, S.},\n bibtype = {article},\n type = {article},\n year = {2012},\n key = {dblp1538310},\n id = {dblp1538310},\n biburl = {http://www.dblp.org/rec/bibtex/journals/iacr/BartheCGKLB12},\n url = {http://eprint.iacr.org/2012/695},\n journal = {IACR Cryptology ePrint Archive (IACR)},\n pages = {695},\n volume = {2012},\n text = {IACR Cryptology ePrint Archive (IACR) 2012:695 (2012)}\n}","text":"IACR Cryptology ePrint Archive (IACR) 2012:695 (2012)","volume":"2012","pages":"695","journal":"IACR Cryptology ePrint Archive (IACR)","url":"http://eprint.iacr.org/2012/695","biburl":"http://www.dblp.org/rec/bibtex/journals/iacr/BartheCGKLB12","id":"dblp1538310","key":"dblp1538310","year":"2012","type":"article","bibtype":"article","author_short":["Barthe, G.","Manuel Crespo, J.","Grégoire, B.","Kunz, C.","Lakhnech, Y.","Zanella Béguelin, S."],"author":["Gilles Barthe","Juan Manuel Crespo","Benjamin Grégoire","César Kunz","Yassine Lakhnech","Santiago Zanella Béguelin"],"title":"Automated Analysis and Synthesis of Padding-Based Encryption Schemes"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/iacr/BartheCGKLB12","downloads":0,"search_terms":["automated","analysis","synthesis","padding","based","encryption","schemes","barthe","manuel crespo","grégoire","kunz","lakhnech","zanella béguelin"],"title":"Automated Analysis and Synthesis of Padding-Based Encryption Schemes","year":2012,"dataSources":["HhYGpmFBZiudX6WhR"]}