YEAR_2013.bib

@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib --expand-xrefs -oc Publi/YEAR_2013.cite -ob Publi/YEAR_2013.bib -c year=2013 -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}
}
@inproceedings{DBLP:conf/ccs/BartheCGKLSB13,
  isbn = {978-1-4503-2477-9},
  publisher = {ACM},
  editor = {Ahmad-Reza Sadeghi and
               Virgil D. Gligor and
               Moti Yung},
  author = {Gilles Barthe and
               Juan Manuel Crespo and
               Benjamin Gr{\'e}goire and
               C{\'e}sar Kunz and
               Yassine Lakhnech and
               Benedikt Schmidt and
               Santiago Zanella B{\'e}guelin},
  title = {Fully automated analysis of padding-based encryption in
               the computational model},
  booktitle = {ACM Conference on Computer and Communications Security},
  year = {2013},
  pages = {1247-1260},
  ee = {http://doi.acm.org/10.1145/2508859.2516663},
  topic = {CRYPTO},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/csfw/BartheDGKB13,
  isbn = {978-0-7695-5031-2},
  publisher = {IEEE},
  author = {Gilles Barthe and
               George Danezis and
               Benjamin Gr{\'e}goire and
               C{\'e}sar Kunz and
               Santiago Zanella B{\'e}guelin},
  title = {Verified Computational Differential Privacy with Applications
               to Smart Metering},
  booktitle = {CSF},
  year = {2013},
  pages = {287-301},
  ee = {http://dx.doi.org/10.1109/CSF.2013.26},
  topic = {CRYPTO},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

This file was generated by bibtex2html 1.97.