Computer-Aided Cryptographic Proofs. Barthe, G., Manuel Crespo, J., Grégoire, B., Kunz, C., & Zanella Béguelin, S. In Proceedings of Interactive Theorem Proving (ITP), pages 11-27, 2012. ![Computer-Aided Cryptographic Proofs [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp1593657,
title = {Computer-Aided Cryptographic Proofs},
author = {Gilles Barthe and Juan Manuel Crespo and Benjamin Grégoire and César Kunz and Santiago Zanella Béguelin},
author_short = {Barthe, G. and Manuel Crespo, J. and Grégoire, B. and Kunz, C. and Zanella Béguelin, S.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2012},
key = {dblp1593657},
id = {dblp1593657},
biburl = {http://www.dblp.org/rec/bibtex/conf/itp/BartheCGKB12},
url = {http://dx.doi.org/10.1007/978-3-642-32347-8_2},
conference = {ITP},
pages = {11-27},
text = {ITP 2012:11-27},
booktitle = {Proceedings of Interactive Theorem Proving (ITP)}
}
Downloads: 0
{"_id":{"_str":"5273ded557266d0f1e00016b"},"__v":0,"authorIDs":[],"author_short":["Barthe, G.","Manuel Crespo, J.","Grégoire, B.","Kunz, C.","Zanella Béguelin, S."],"bibbaseid":"barthe-manuelcrespo-grgoire-kunz-zanellabguelin-computeraidedcryptographicproofs-2012","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp1593657\"> </a>Computer-Aided Cryptographic Proofs.</span>\n\t<span class=\"bibbase_paper_author\">\nBarthe, G.; Manuel Crespo, J.; Grégoire, B.; Kunz, C.; 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 Interactive Theorem Proving (ITP)</i>, page 11-27, 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-manuelcrespo-grgoire-kunz-zanellabguelin-computeraidedcryptographicproofs-2012', 'http://dx.doi.org/10.1007/978-3-642-32347-8_2')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1007/978-3-642-32347-8_2\"\n onclick=\"javascript:log_download('barthe-manuelcrespo-grgoire-kunz-zanellabguelin-computeraidedcryptographicproofs-2012', 'http://dx.doi.org/10.1007/978-3-642-32347-8_2')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Computer-Aided Cryptographic Proofs [.1007/978-3-642-32347-8_2]\" \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('dblp1593657')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Computer-Aided Cryptographic Proofs [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 \n\n \n \n \n \n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"barthe-manuelcrespo-grgoire-kunz-zanellabguelin-computeraidedcryptographicproofs-2012","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-32347-8_2"},"role":"author","bibtex":"@inproceedings{ dblp1593657,\n title = {Computer-Aided Cryptographic Proofs},\n author = {Gilles Barthe and Juan Manuel Crespo and Benjamin Grégoire and César Kunz and Santiago Zanella Béguelin},\n author_short = {Barthe, G. and Manuel Crespo, J. and Grégoire, B. and Kunz, C. and Zanella Béguelin, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1593657},\n id = {dblp1593657},\n biburl = {http://www.dblp.org/rec/bibtex/conf/itp/BartheCGKB12},\n url = {http://dx.doi.org/10.1007/978-3-642-32347-8_2},\n conference = {ITP},\n pages = {11-27},\n text = {ITP 2012:11-27},\n booktitle = {Proceedings of Interactive Theorem Proving (ITP)}\n}","booktitle":"Proceedings of Interactive Theorem Proving (ITP)","text":"ITP 2012:11-27","pages":"11-27","conference":"ITP","url":"http://dx.doi.org/10.1007/978-3-642-32347-8_2","biburl":"http://www.dblp.org/rec/bibtex/conf/itp/BartheCGKB12","id":"dblp1593657","key":"dblp1593657","year":"2012","type":"inproceedings","bibtype":"inproceedings","author_short":["Barthe, G.","Manuel Crespo, J.","Grégoire, B.","Kunz, C.","Zanella Béguelin, S."],"author":["Gilles Barthe","Juan Manuel Crespo","Benjamin Grégoire","César Kunz","Santiago Zanella Béguelin"],"title":"Computer-Aided Cryptographic Proofs"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/itp/BartheCGKB12","downloads":0,"search_terms":["computer","aided","cryptographic","proofs","barthe","manuel crespo","grégoire","kunz","zanella béguelin"],"title":"Computer-Aided Cryptographic Proofs","year":2012,"dataSources":["2fSnrqc7o4NaXLjto"]}