@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib --expand-xrefs -oc Publi/KIND_ARTICLE.cite -ob Publi/KIND_ARTICLE.bib -c '$type = "ARTICLE" or $type = "INBOOK"' -c !topic="NOCITE" Publi/bibdata.bib}}
@article{DBLP:journals/jcs/BartheGHOB13,
author = {Gilles Barthe and
Benjamin Gr{\'e}goire and
Sylvain Heraud and
Federico Olmedo and
Santiago Zanella B{\'e}guelin},
title = {Verified indifferentiable hashing into elliptic curves},
journal = {Journal of Computer Security},
volume = {21},
number = {6},
year = {2013},
pages = {881-917},
ee = {http://dx.doi.org/10.3233/JCS-130476},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/ercim/Gregoire12,
author = {Benjamin Gr{\'e}goire},
title = {Recent Advances in the Formal Verification of Cryptographic
Systems: Turing's Legacy},
journal = {ERCIM News},
volume = {2012},
number = {91},
year = {2012},
ee = {http://ercim-news.ercim.eu/en91/special/recent-advances-in-the-formal-verification-of-cryptographic-systems-turings-legacy},
topic = {CRYPTO},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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}
}
@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}
}
This file was generated by bibtex2html 1.97.