YEAR_2012.bib

@comment{{This file has been generated by bib2bib 1.97}}

@comment{{Command line: bib2bib --expand-xrefs -oc Publi/YEAR_2012.cite -ob Publi/YEAR_2012.bib -c year=2012 -c !topic="NOCITE" Publi/bibdata.bib}}

@inproceedings{DBLP:conf/cpp/BartheGKLB12,
  isbn = {978-3-642-35307-9},
  volume = {7679},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  editor = {Chris Hawblitzel and
               Dale Miller},
  author = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               C{\'e}sar Kunz and
               Yassine Lakhnech and
               Santiago Zanella B{\'e}guelin},
  title = {Automation in Computer-Aided Cryptography: Proofs, Attacks
               and Designs},
  booktitle = {CPP},
  year = {2012},
  pages = {7-8},
  ee = {http://dx.doi.org/10.1007/978-3-642-35308-6_3},
  topic = {CRYPTO},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/csfw/BackesBBGKSB12,
  isbn = {978-1-4673-1918-8},
  publisher = {IEEE},
  editor = {Stephen Chong},
  author = {Michael Backes and
               Gilles Barthe and
               Matthias Berg and
               Benjamin Gr{\'e}goire and
               C{\'e}sar Kunz and
               Malte Skoruppa and
               Santiago Zanella B{\'e}guelin},
  title = {Verified Security of Merkle-Damg{\aa}rd},
  booktitle = {CSF},
  year = {2012},
  pages = {354-368},
  ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2012.14},
  topic = {CRYPTO},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/itp/BartheCGKB12,
  isbn = {978-3-642-32346-1},
  volume = {7406},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  editor = {Lennart Beringer and
               Amy P. Felty},
  author = {Gilles Barthe and
               Juan Manuel Crespo and
               Benjamin Gr{\'e}goire and
               C{\'e}sar Kunz and
               Santiago Zanella B{\'e}guelin},
  title = {Computer-Aided Cryptographic Proofs},
  booktitle = {ITP},
  year = {2012},
  pages = {11-27},
  ee = {http://dx.doi.org/10.1007/978-3-642-32347-8_2},
  topic = {CRYPTO},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/post/BartheGHOB12,
  isbn = {978-3-642-28640-7},
  volume = {7215},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  editor = {Pierpaolo Degano and
               Joshua D. Guttman},
  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},
  booktitle = {POST},
  year = {2012},
  pages = {209-228},
  ee = {http://dx.doi.org/10.1007/978-3-642-28641-4_12},
  topic = {CRYPTO},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/sas/BartheGB12,
  isbn = {978-3-642-33124-4},
  volume = {7460},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  editor = {Antoine Min{\'e} and
               David Schmidt},
  author = {Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Santiago Zanella B{\'e}guelin},
  title = {Computer-Aided Cryptographic Proofs},
  booktitle = {SAS},
  year = {2012},
  pages = {1-2},
  ee = {http://dx.doi.org/10.1007/978-3-642-33125-1_1},
  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}
}

This file was generated by bibtex2html 1.97.