YEAR_2008.bib

@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib --expand-xrefs -oc Publi/YEAR_2008.cite -ob Publi/YEAR_2008.bib -c year=2008 -c !topic="NOCITE" Publi/bibdata.bib}}
@article{BartheGR08cours,
  title = {A Tutorial on Type-Based Termination},
  author = {Gilles Barthe and Benjamin Gr\'egoire and Colin Riba},
  journal = {Book chapter, LERNET 2008 Summer School},
  editor = {Springer LNCS Tutorial Series},
  year = 2008,
  url = {http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/lernet08.pdf},
  topic = {TYPETHEORY}
}
@article{BartheGR07,
  title = {Compilation of certificates},
  author = {Gilles Barthe and Benjamin Gr\'egoire and Tamara Rezk},
  journal = {Formal Logical Methods for System Security and Correctness,
           IOS Press},
  publisher = {IOS Press},
  year = 2008,
  url = {http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/marktoberdorf07.pdf},
  topic = {PCC}
}
@article{BartheGKR08,
  author = {Gilles Barthe and Benjamin Gr\'egoire and C\'esar Kunz and Tamara Rezk},
  title = {Certificate Translation for Optimizing Compilers},
  journal = { Journal of Transactions on Programming Languages and Systems (TOPLAS)},
  year = 2008,
  editor = {ACM},
  url = {http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/toplas08.pdf},
  topic = {PCC}
}
@inproceedings{GreOlaf08,
  author = {Jan Olaf Blech and Benjamin Gr\'egoire},
  title = { Certifying Code Generation with Coq },
  booktitle = { Proceedinfs of the Workshop Compiler Optimization meets Compiler Verification (COCV 2008)},
  year = {2008},
  publisher = {ENTCS},
  topic = {COMPILER}
}
@inproceedings{BartheGP08,
  author = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Mariela Pavlova},
  title = {Preservation of Proof Obligations from Java to the Java
               Virtual Machine},
  booktitle = {Automated Reasoning, 4th International Joint Conference,
               IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2008},
  pages = {83-99},
  topic = {PCC}
}
@inproceedings{BartheGR08,
  author = {Gilles Barthe and Benjamin Gr\'egoire and Colin Riba},
  title = {Type-Based Termination with Sized Products},
  booktitle = {17th EACSL Annual Conference on Computer Science Logic, 15th-19th September 2008, Bertinoro, Italy},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2008},
  topic = {TYPETHEORY}
}
@inproceedings{BartheGHB08:FAST,
  author = {Gilles Barthe and
Benjamin Gr{\'e}goire and
Sylvain Heraud and
Santiago Zanella B{\'e}guelin},
  title = {Formal Certification of ElGamal Encryption},
  booktitle = {Formal Aspects in Security and Trust},
  year = {2008},
  pages = {1-19},
  ee = {http://dx.doi.org/10.1007/978-3-642-01465-9_1},
  topic = {CRYPTO}
}

This file was generated by bibtex2html 1.97.