@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}}
  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
  booktitle = {POPL},
  year = {2014},
  pages = {193-206},
  ee = {},
  topic = {CRYPTO},
  bibsource = {DBLP,}

This file was generated by bibtex2html 1.97.