Marco Stronati

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 7

Top Venues

CoRR

ACM SIGLOG News

IEEE Symposium on Security and Privacy

ICTAC

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits
Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler. CoRR (2024)
Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CCS (2018)
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
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CoRR (2018)
Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). CoRR (2017)
Reza Shokri, Marco Stronati, Congzheng Song, Vitaly Shmatikov
Membership Inference Attacks Against Machine Learning Models. IEEE Symposium on Security and Privacy (2017)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). CoRR (2017)
Reza Shokri, Marco Stronati, Vitaly Shmatikov
Membership Inference Attacks against Machine Learning Models. CoRR (2016)
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
Location privacy via geo-indistinguishability. ACM SIGLOG News 2 (3) (2015)
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
Location Privacy via Geo-Indistinguishability. ICTAC (2015)
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
Constructing elastic distinguishability metrics for location privacy. Proc. Priv. Enhancing Technol. 2015 (2) (2015)
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
Geo-indistinguishability: A Principled Approach to Location Privacy. ICDCIT (2015)
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
Constructing elastic distinguishability metrics for location privacy. CoRR (2015)
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
A Predictive Differentially-Private Mechanism for Mobility Traces. Privacy Enhancing Technologies (2014)
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
A Predictive Differentially-Private Mechanism for Location Privacy. CoRR (2013)
Catuscia Palamidessi, Marco Stronati
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems QAPL (2012)

Marco Stronati.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Stronati