Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems - Catuscia Palamidessi; Marco Stronati (QAPL, 2012)

A Predictive Differentially-Private Mechanism for Location Privacy. - Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Marco Stronati (CoRR, 2013)

A Predictive Differentially-Private Mechanism for Mobility Traces. - Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Marco Stronati (Privacy Enhancing Technologies, 2014)

Geo-indistinguishability: A Principled Approach to Location Privacy. - Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Marco Stronati (ICDCIT, 2015)

Constructing elastic distinguishability metrics for location privacy. - Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Marco Stronati (Proc. Priv. Enhancing Technol., 2015)

Location privacy via geo-indistinguishability. - Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Marco Stronati (ACM SIGLOG News, 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)

Membership Inference Attacks against Machine Learning Models. - Reza Shokri; Marco Stronati; Vitaly Shmatikov (CoRR, 2016)

Membership Inference Attacks Against Machine Learning Models. - Reza Shokri; Marco Stronati; Congzheng Song; Vitaly Shmatikov (IEEE Symposium on Security and Privacy, 2017)

Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). - Guglielmo Fachini; Catalin Hritcu; Marco Stronati; Ana Nora Evans; Théo Laurent; Arthur Azevedo de Amorim; Benjamin C. Pierce; Andrew Tolmach (CoRR, 2017)

Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). - Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Marco Stronati; David Swasey (CoRR, 2017)

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. - 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 (CCS, 2018)

Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler. - Marco Stronati; Denis Firsov; Antonio Locascio; Benjamin Livshits (CoRR, 2024)