YEAR_2011.bib

@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.