@comment{{This file has been generated by bib2bib 1.97}}

@comment{{Command line: bib2bib --expand-xrefs -oc Publi/YEAR_2011.cite -ob Publi/YEAR_2011.bib -c year=2011 -c !topic="NOCITE" Publi/bibdata.bib}}

@inproceedings{DBLP:conf/adg/GregoirePT08, author = {Benjamin Gr{\'e}goire and Lo\"{\i}c Pottier and Laurent Th{\'e}ry}, title = {Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving}, booktitle = {Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers}, pages = {42-59}, ee = {http://dx.doi.org/10.1007/978-3-642-21046-4_3}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6301}, year = {2011}, isbn = {978-3-642-21045-7}, bibsource = {DBLP, http://dblp.uni-trier.de}, topic = {COQAPPLI} }

@inproceedings{BDG11, author = {Mathieu Boespflug and Maxime D{\'e}n{\`e}s and Benjamin Gr{\'e}goire}, title = {Full reduction at full throttle}, booktitle = {First International Conference on Certified Programs and Proofs, Tawain, December 7-9}, year = {2011}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, topic = {COMPILER} }

@inproceedings{AFGKTW11, author = {Michael Armand and Germain Faure and Benjamin Gr{\'e}goire and Chantal Keller and Laurent Th{\'e}ry and Benjamin Werner}, title = {A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses}, booktitle = {First International Conference on Certified Programs and Proofs, Tawain, December 7-9}, year = {2011}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, topic = {COMPILER}, note = {To Appear} }

@inproceedings{DBLP:conf/crypto/BartheGHB11, author = {Gilles Barthe and Benjamin Gr{\'e}goire and Sylvain Heraud and Santiago Zanella B{\'e}guelin}, title = {Computer-Aided Security Proofs for the Working Cryptographer}, booktitle = {Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings}, year = {2011}, pages = {71-90}, ee = {http://dx.doi.org/10.1007/978-3-642-22792-9_5}, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {6841}, isbn = {978-3-642-22791-2}, topic = {CRYPTO}, note = {Best Paper Award} }

@inproceedings{DBLP:conf/ctrsa/BartheGLB11, author = {Gilles Barthe and Benjamin Gr{\'e}goire and Yassine Lakhnech and Santiago Zanella B{\'e}guelin}, title = {Beyond Provable Security Verifiable IND-CCA Security of OAEP}, booktitle = {Topics in Cryptology - CT-RSA 2011 - The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings}, volume = {6558}, year = {2011}, isbn = {978-3-642-19073-5}, pages = {180-196}, ee = {http://dx.doi.org/10.1007/978-3-642-19074-2_13}, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer}, topic = {CRYPTO} }

@article{DBLP:journals/fmsd/BlechG11, author = {Jan Olaf Blech and Benjamin Gr{\'e}goire}, title = {Certifying compilers using higher-order theorem provers as certificate checkers}, journal = {Formal Methods in System Design}, volume = {38}, number = {1}, year = {2011}, pages = {33-61}, ee = {http://dx.doi.org/10.1007/s10703-010-0108-7}, bibsource = {DBLP, http://dblp.uni-trier.de}, topic = {COMPILER} }

*This file was generated by
bibtex2html 1.97.*