papers
Publications (6)
cs.CR2017
Membership Inference Attacks against Machine Learning Models
Reza Shokri, Marco Stronati, Congzheng Song +1
cs.CR2017
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati +5
cs.CR2015
Constructing elastic distinguishability metrics for location privacy
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
cs.CR2014
A Predictive Differentially-Private Mechanism for Mobility Traces
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
cs.CR2017
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
Deepak Garg, Catalin Hritcu, Marco Patrignani +2
cs.CR2012
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems
Catuscia Palamidessi, Marco Stronati