Preserving differential privacy under finite-precision semantics. Gazeau, I., Miller, D., & Palamidessi, C. In Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), pages 1–18, 2013.
Preserving differential privacy under finite-precision semantics [link]Paper  bibtex   
@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}
}

Downloads: 0