-
Formal approaches to information hiding : An analysis of interactive systems,...
In this thesis we consider the problem of information hiding in the scenarios of interactive systems, statistical disclosure control, and refinement of specifications.... -
Linear Dependent Types for Differential Privacy
International audience -
Sensitivity analysis using type-based constraints
International audience -
Safe Programming in Finite Precision: Controlling Errors and Information Leaks
In this thesis, we analyze the problem of the finite representation of real numbers and we control the deviation due to this approximation. We particularly focus on... -
Optimal Geo-Indistinguishable Mechanisms for Location Privacy
This paper is the report version of a work that appeared in the proceedings of the 21st ACM Conference on Computer Security. Scottsdale, Arizona, USA, Nov. 2014 (CCS'14) -
Towards Privacy-Preserving Publication of Continuous and Dynamic Data Spatial...
Encadrant principal : Guillaume RASCHIA
