YEAR_2014.bib

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

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

@inproceedings{DBLP:conf/popl/BartheFGSSB14,
  isbn = {978-1-4503-2544-8},
  publisher = {ACM},
  editor = {Suresh Jagannathan and
               Peter Sewell},
  author = {Gilles Barthe and
               C{\'e}dric Fournet and
               Benjamin Gr{\'e}goire and
               Pierre-Yves Strub and
               Nikhil Swamy and
               Santiago Zanella B{\'e}guelin},
  title = {Probabilistic relational verification for cryptographic
               implementations},
  booktitle = {POPL},
  year = {2014},
  pages = {193-206},
  ee = {http://doi.acm.org/10.1145/2535838.2535847},
  topic = {CRYPTO},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

This file was generated by bibtex2html 1.97.