Marco Stronati

16 papers A* 2A 1C 1Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler.
CoRR
Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits
2018 A* conf
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.
CCS
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
2018 J jnl
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.
CoRR
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
2017 J jnl
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract).
CoRR
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach
2017 A* conf
Membership Inference Attacks Against Machine Learning Models.
IEEE Symposium on Security and Privacy
Reza Shokri, Marco Stronati, Congzheng Song, Vitaly Shmatikov
2017 J jnl
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract).
CoRR
Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey
2016 J jnl
Membership Inference Attacks against Machine Learning Models.
CoRR
Reza Shokri, Marco Stronati, Vitaly Shmatikov
2015 J jnl
Constructing elastic distinguishability metrics for location privacy.
CoRR
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2015 J jnl
Constructing elastic distinguishability metrics for location privacy.
Proc. Priv. Enhancing Technol.
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2015 — —
Designing Location Privacy Mechanisms for flexibility over time and space. (Concevoir mécanismes pour la confidentialité géographique avec flexibilité dans le temps et l'espace).
Marco Stronati
2015 Misc conf
Geo-indistinguishability: A Principled Approach to Location Privacy.
ICDCIT
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2015 C conf
Location Privacy via Geo-Indistinguishability.
ICTAC
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2015 J jnl
Location privacy via geo-indistinguishability.
ACM SIGLOG News
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2014 A conf
A Predictive Differentially-Private Mechanism for Mobility Traces.
Privacy Enhancing Technologies
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2013 J jnl
A Predictive Differentially-Private Mechanism for Location Privacy.
CoRR
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2012 — conf
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems
QAPL
Catuscia Palamidessi, Marco Stronati