Marco Stronati

According to our database, Marco Stronati authored at least 13 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler.

Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits

CoRR, 2024

2018

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

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract).

Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey

CoRR, 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

Membership Inference Attacks Against Machine Learning Models.

Reza Shokri, Marco Stronati, Congzheng Song, Vitaly Shmatikov

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2016

Membership Inference Attacks against Machine Learning Models.

Reza Shokri, Marco Stronati, Vitaly Shmatikov

CoRR, 2016

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

PhD thesis, 2015

Location privacy via geo-indistinguishability.

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati

ACM SIGLOG News, 2015

Constructing elastic distinguishability metrics for location privacy.

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati

Proc. Priv. Enhancing Technol., 2015

Geo-indistinguishability: A Principled Approach to Location Privacy.

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati

Proceedings of the Distributed Computing and Internet Technology, 2015

2014

A Predictive Differentially-Private Mechanism for Mobility Traces.

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati

Proceedings of the Privacy Enhancing Technologies - 14th International Symposium, 2014

2013

A Predictive Differentially-Private Mechanism for Location Privacy.

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati

CoRR, 2013

2012

Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems

Catuscia Palamidessi, Marco Stronati

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012