@inproceedings{DBLP:conf/popl/BartheFGSSB14,
  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},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/popl/BartheFGSSB14.bib},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} '14, San
Diego, CA, USA, January 20-21, 2014},
  doi = {10.1145/2535838.2535847},
  editor = {Suresh Jagannathan and Peter Sewell},
  isbn = {978-1-4503-2544-8},
  pages = {193--206},
  publisher = {{ACM}},
  timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
  title = {Probabilistic relational verification for
cryptographic implementations},
  url = {https://doi.org/10.1145/2535838.2535847},
  year = {2014}
}

{"_id":"Q9dnNYQHx83CtPRxJ","bibbaseid":"barthe-fournet-grgoire-strub-swamy-bguelin-probabilisticrelationalverificationforcryptographicimplementations-2014","downloads":0,"creationDate":"2016-06-21T10:07:36.386Z","title":"Probabilistic relational verification for cryptographic implementations","author_short":["Barthe, G.","Fournet, C.","Grégoire, B.","Strub, P.","Swamy, N.","Béguelin, S. Z."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gilles"],"propositions":[],"lastnames":["Barthe"],"suffixes":[]},{"firstnames":["Cédric"],"propositions":[],"lastnames":["Fournet"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Grégoire"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]},{"firstnames":["Nikhil"],"propositions":[],"lastnames":["Swamy"],"suffixes":[]},{"firstnames":["Santiago","Zanella"],"propositions":[],"lastnames":["Béguelin"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/popl/BartheFGSSB14.bib","booktitle":"The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014","doi":"10.1145/2535838.2535847","editor":[{"firstnames":["Suresh"],"propositions":[],"lastnames":["Jagannathan"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Sewell"],"suffixes":[]}],"isbn":"978-1-4503-2544-8","pages":"193–206","publisher":"ACM","timestamp":"Thu, 24 Jun 2021 16:19:31 +0200","title":"Probabilistic relational verification for cryptographic implementations","url":"https://doi.org/10.1145/2535838.2535847","year":"2014","bibtex":"@inproceedings{DBLP:conf/popl/BartheFGSSB14,\n author = {Gilles Barthe and C{\\'{e}}dric Fournet and\nBenjamin Gr{\\'{e}}goire and Pierre{-}Yves Strub and\nNikhil Swamy and Santiago Zanella B{\\'{e}}guelin},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/popl/BartheFGSSB14.bib},\n booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on\nPrinciples of Programming Languages, {POPL} '14, San\nDiego, CA, USA, January 20-21, 2014},\n doi = {10.1145/2535838.2535847},\n editor = {Suresh Jagannathan and Peter Sewell},\n isbn = {978-1-4503-2544-8},\n pages = {193--206},\n publisher = {{ACM}},\n timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},\n title = {Probabilistic relational verification for\ncryptographic implementations},\n url = {https://doi.org/10.1145/2535838.2535847},\n year = {2014}\n}\n\n","author_short":["Barthe, G.","Fournet, C.","Grégoire, B.","Strub, P.","Swamy, N.","Béguelin, S. Z."],"editor_short":["Jagannathan, S.","Sewell, P."],"key":"DBLP:conf/popl/BartheFGSSB14","id":"DBLP:conf/popl/BartheFGSSB14","bibbaseid":"barthe-fournet-grgoire-strub-swamy-bguelin-probabilisticrelationalverificationforcryptographicimplementations-2014","role":"author","urls":{"Paper":"https://doi.org/10.1145/2535838.2535847"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":0,"html":""},"search_terms":["probabilistic","relational","verification","cryptographic","implementations","barthe","fournet","grégoire","strub","swamy","béguelin"],"keywords":[],"authorIDs":["EC8a7TQ86pYAoBS7y"],"dataSources":["q4vBTsWpxooqz6FoB"]}