@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib --expand-xrefs -oc Publi/YEAR_2009.cite -ob Publi/YEAR_2009.bib -c year=2009 -c !topic="NOCITE" Publi/bibdata.bib}}
@inproceedings{GreOlaf09, author = {Jan Olaf Blech and Benjamin Gr\'egoire}, title = { Using Checker Predicates in Certifying Code Generation }, booktitle = { Proceedinfs of the Workshop Compiler Optimization meets Compiler Verification (COCV 2009)}, year = {2009}, publisher = {ENTCS}, note = {To appear}, topic = {COMPILER} }
@inproceedings{BartheGZ09, author = {Gilles Barthe and Benjamin Gr\'egoire and Santiago Zanella}, title = {Formal Certification of Code-Based Cryptographic Proofs}, booktitle = {36th symposium Principles of Programming Languages}, publisher = {ACM Press}, year = 2009, month = jan, url = {http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/popl09.pdf}, topic = {CRYPTO} }
@inproceedings{BGOZ:2009:SP, author = { G. Barthe and B. Gr{\'e}goire and F. Olmedo and S. {Zanella B{\'e}guelin}}, title = {Formally Certifying the Security of Digital Signature Schemes}, booktitle = {30th IEEE Symposium on Security and Privacy, S\&P 2009}, year = {2009}, topic = {CRYPTO} }
@inproceedings{BGHKP:2009:ICFEM, author = {Gilles Barthe and Benjamin Gr{\'e}goire and Sylvain Heraud and Cesar Kunz and Anne Pacalet}, title = {Implementing a direct method for certificate translation}, booktitle = {International Conference on Formal Engineering Methods, ICFEM 2009}, year = {2009}, series = {Lectures Notes in Computer Science}, note = {To appear}, topic = {COMPILER} }
@inproceedings{BarrasCGHS:Types09, author = {Bruno Barras and Pierre Corbineau and Benjamin Gr{\'e}goire and Hugo Herbelin and Jorge Luis Sacchini}, title = {A New Elimination Rule for the {C}alculus of {I}nductive {C}onstructions}, booktitle = {Types for proofs and programs 2008}, year = {2009}, pages = {32-48}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, editor = {S. Berardi and F. Damiani and U de'Liguoro}, volume = {5497}, x-proceedings = {yes}, x-international-audience = {yes}, x-invited-conference = {no}, topic = {TYPETHEORY} }
This file was generated by bibtex2html 1.97.