Ivan GAZEAU

Je suis post-doctorant dans l'équipe PESTO sous la direction de Steve KREMER.

Publications

  • Preserving differential privacy under finite-precision semantics by Ivan Gazeau, Dale Miller, and Catuscia Palamidessi. TCS, Volume 655 Issue PB, December 2016 Pages 92-108 . doi. Draft dated 1 September 2014.
  • Preserving differential privacy under finite-precision semantics by Ivan Gazeau, Dale Miller, and Catuscia Palamidessi. In the Proceedings of QAPL ( doi ).
  • A non-local method for robustness analysis of floating point programs by Ivan Gazeau, Dale Miller, and Catuscia Palamidessi. In the Proceedings of QAPL ( doi ).

Enseignements (TD/TP)