Designing Location Privacy Mechanisms for flexibility over time and space. PDF
Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems. Marco Stronati, Denis Firsov, Antonio Locascio, Benjamin Livshits. ArXiv 2024. PDF
Verify, but test: extracting property-based tests from F* specifications. Antonio Locascio, Germán Andrés Delbianco, Marco Stronati. ML Workshop (part of ICFP) 2022. Article Video
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. 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. CCS18. PDF Video
Membership Inference Attacks against Machine Learning Models. Reza Shokri, Marco Stronati, Congzheng Song, Vitaly Shmatikov. IEEE Symposium on Security and Privacy, Oakland, S&P’17. PDF video
Designing Location Privacy Mechanisms for flexibility over time and space. Marco Stronati. PhD Thesis, Ecole Polytechnique, France. 25 September 2015. PDF
Constructing elastic distinguishability metrics for location privacy. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. Privacy Enhancing Technologies Symposium, PETS’15. PDF slides code
Geo-indistinguishability: A Principled Approach to Location Privacy. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. International Conference on Distributed Computing and Internet Technology, ICDCIT’15.
A Predictive Differentially-Private Mechanism for Mobility Traces. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati. Privacy Enhancing Technologies Symposium, PETS’14. PDF slides
Differential privacy for relational algebra: improving the sensitivity bounds via constraint systems. Catuscia Palamidessi, Marco Stronati. International workshop on Quantitative Aspect of Programming Languages, QAPL’12. PDF slides