When Good Components Go Bad: Formally Secure Compilation
Despite Dynamic Compromise.
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Arthur Azevedo de
Amorim, Ana Nora Evans, Carmine Abate, Roberto Blanco, Théo Laurent,
Benjamin C. Pierce, Andrew Tolmach.
PDF
Membership Inference Attacks against Machine Learning
Models.
Reza Shokri, Marco Stronati, Congzheng Song, Vitaly Shmatikov.
IEEE Symposium on Security and Privacy, Oakland, S&P’17.
PDF video
Designing Location Privacy Mechanisms for flexibility over
time and space.
Marco Stronati.
PhD Thesis, Ecole Polytechnique, France. 25 September
2015.
PDF
Constructing elastic distinguishability metrics for
location privacy.
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco
Stronati.
Privacy Enhancing Technologies Symposium, PETS’15.
PDF slides code
Geo-indistinguishability: A Principled Approach to Location
Privacy.
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco
Stronati.
International Conference on Distributed Computing and Internet
Technology, ICDCIT’15.
A Predictive Differentially-Private Mechanism for Mobility
Traces.
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco
Stronati.
Privacy Enhancing Technologies Symposium, PETS’14.
PDF slides
Differential privacy for relational algebra: improving the
sensitivity bounds via constraint systems.
Catuscia Palamidessi, Marco Stronati.
International workshop on Quantitative Aspect of Programming
Languages, QAPL’12.
PDF slides