@inproceedings{DBLP:conf/csfw/BartheGAHKS14,
  author = {Gilles Barthe and Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and Justin Hsu and
C{\'{e}}sar Kunz and Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/csfw/BartheGAHKS14.bib},
  booktitle = {{IEEE} 27th Computer Security Foundations Symposium,
{CSF} 2014, Vienna, Austria, 19-22 July, 2014},
  doi = {10.1109/CSF.2014.36},
  isbn = {978-1-4799-4290-9},
  pages = {411--424},
  publisher = {{IEEE} Computer Society},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  title = {Proving Differential Privacy in Hoare Logic},
  url = {https://doi.org/10.1109/CSF.2014.36},
  year = {2014}
}

{"_id":"3B7Kwg3xhJ2d5k8u5","bibbaseid":"barthe-gaboardi-arias-hsu-kunz-strub-provingdifferentialprivacyinhoarelogic-2014","downloads":0,"creationDate":"2016-06-21T10:07:36.383Z","title":"Proving Differential Privacy in Hoare Logic","author_short":["Barthe, G.","Gaboardi, M.","Arias, E. J. G.","Hsu, J.","Kunz, C.","Strub, P."],"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":["Marco"],"propositions":[],"lastnames":["Gaboardi"],"suffixes":[]},{"firstnames":["Emilio","Jesús","Gallego"],"propositions":[],"lastnames":["Arias"],"suffixes":[]},{"firstnames":["Justin"],"propositions":[],"lastnames":["Hsu"],"suffixes":[]},{"firstnames":["César"],"propositions":[],"lastnames":["Kunz"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/csfw/BartheGAHKS14.bib","booktitle":"IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014","doi":"10.1109/CSF.2014.36","isbn":"978-1-4799-4290-9","pages":"411–424","publisher":"IEEE Computer Society","timestamp":"Sat, 19 Oct 2019 01:00:00 +0200","title":"Proving Differential Privacy in Hoare Logic","url":"https://doi.org/10.1109/CSF.2014.36","year":"2014","bibtex":"@inproceedings{DBLP:conf/csfw/BartheGAHKS14,\n author = {Gilles Barthe and Marco Gaboardi and\nEmilio Jes{\\'{u}}s Gallego Arias and Justin Hsu and\nC{\\'{e}}sar Kunz and Pierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/csfw/BartheGAHKS14.bib},\n booktitle = {{IEEE} 27th Computer Security Foundations Symposium,\n{CSF} 2014, Vienna, Austria, 19-22 July, 2014},\n doi = {10.1109/CSF.2014.36},\n isbn = {978-1-4799-4290-9},\n pages = {411--424},\n publisher = {{IEEE} Computer Society},\n timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},\n title = {Proving Differential Privacy in Hoare Logic},\n url = {https://doi.org/10.1109/CSF.2014.36},\n year = {2014}\n}\n\n","author_short":["Barthe, G.","Gaboardi, M.","Arias, E. J. G.","Hsu, J.","Kunz, C.","Strub, P."],"key":"DBLP:conf/csfw/BartheGAHKS14","id":"DBLP:conf/csfw/BartheGAHKS14","bibbaseid":"barthe-gaboardi-arias-hsu-kunz-strub-provingdifferentialprivacyinhoarelogic-2014","role":"author","urls":{"Paper":"https://doi.org/10.1109/CSF.2014.36"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":0,"html":""},"search_terms":["proving","differential","privacy","hoare","logic","barthe","gaboardi","arias","hsu","kunz","strub"],"keywords":[],"authorIDs":["EC8a7TQ86pYAoBS7y"],"dataSources":["q4vBTsWpxooqz6FoB"]}