YEAR_2009.bib

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