@inproceedings{gazeau13qapl,
  author = {Ivan Gazeau and Dale Miller and Catuscia Palamidessi},
  title = {Preserving differential privacy under finite-precision
                 semantics},
  booktitle = {Proceedings 11th International Workshop on
                 Quantitative Aspects of Programming Languages and
                 Systems (QAPL)},
  hal = {http://hal.inria.fr/hal-00780774},
  url = {http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?QAPL2013},
  year = {2013},
  pages = {1--18}
}

{"_id":"ZvDSwqFpg7hsMX9Ej","bibbaseid":"gazeau-miller-palamidessi-preservingdifferentialprivacyunderfiniteprecisionsemantics-2013","author_short":["Gazeau, I.","Miller, D.","Palamidessi, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ivan"],"propositions":[],"lastnames":["Gazeau"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Catuscia"],"propositions":[],"lastnames":["Palamidessi"],"suffixes":[]}],"title":"Preserving differential privacy under finite-precision semantics","booktitle":"Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL)","hal":"http://hal.inria.fr/hal-00780774","url":"http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?QAPL2013","year":"2013","pages":"1–18","bibtex":"@inproceedings{gazeau13qapl,\n author = {Ivan Gazeau and Dale Miller and Catuscia Palamidessi},\n title = {Preserving differential privacy under finite-precision\n semantics},\n booktitle = {Proceedings 11th International Workshop on\n Quantitative Aspects of Programming Languages and\n Systems (QAPL)},\n hal = {http://hal.inria.fr/hal-00780774},\n url = {http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?QAPL2013},\n year = {2013},\n pages = {1--18}\n}\n\n","author_short":["Gazeau, I.","Miller, D.","Palamidessi, C."],"key":"gazeau13qapl","id":"gazeau13qapl","bibbaseid":"gazeau-miller-palamidessi-preservingdifferentialprivacyunderfiniteprecisionsemantics-2013","role":"author","urls":{"Paper":"http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?QAPL2013"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["preserving","differential","privacy","under","finite","precision","semantics","gazeau","miller","palamidessi"],"title":"Preserving differential privacy under finite-precision semantics","year":2013}