Travelled to:1 × Estonia
1 × Italy
Collaborated with:D.Miller C.Palamidessi
Talks about:differenti (1) program (1) privaci (1) preserv (1) analysi (1) semant (1) robust (1) precis (1) method (1) under (1)
Person: Ivan Gazeau
DBLP: Gazeau:Ivan
Contributed to:
20132012Wrote 2 papers:
- QAPL-2013-GazeauMP #difference #privacy #semantics
- Preserving differential privacy under finite-precision semantics (IG, DM, CP), pp. 1–18.
- QAPL-2012-GazeauMP #analysis #float #robust #source code
- A non-local method for robustness analysis of floating point programs (IG, DM, CP), pp. 63–76.