Marco Stronati

Computer Science · Physical Sciences

9h-index4.3kcitations20works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Privacy-Preserving Technologies in Data(11), Security and Verification in Computing(6), Logic, programming, and type systems(5), Cryptography and Data Security(5), Privacy, Security, and Data Protection(5)

Publications20 total

Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
arXiv (Cornell University)·2024Open Access
When Good Components Go Bad
2018· 31 citedOpen Access
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
arXiv (Cornell University)·2018· 9 citedOpen Access
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
PDXScholar (Portland State University)·2018· 2 citedOpen Access
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
arXiv (Cornell University)·2017· 8 citedOpen Access
Formally Secure Compilation of Unsafe Low-Level Components (Extended\n Abstract)
arXiv (Cornell University)·2017Open Access
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)
arXiv (Cornell University)·2017· 1 citedOpen Access
Membership Inference Attacks Against Machine Learning Models
2017· 4.0k cited
Membership Inference Attacks against Machine Learning Models
arXiv (Cornell University)·2016· 12 citedOpen Access
Concevoir mécanismes pour la confidentialité géographique avec flexibilité dans le temps et l'espace.
HAL (Le Centre pour la Communication Scientifique Directe)·2015· 1 citedOpen Access
Location privacy via geo-indistinguishability
ACM SIGLOG News·2015· 26 citedOpen Access
Constructing elastic distinguishability metrics for location privacy
Proceedings on Privacy Enhancing Technologies·2015· 93 citedOpen Access
Geo-indistinguishability: A Principled Approach to Location Privacy
Lecture notes in computer science·2015· 35 citedOpen Access
Location Privacy via Geo-Indistinguishability
Lecture notes in computer science·2015· 12 cited
A Predictive Differentially-Private Mechanism for Mobility Traces
Lecture notes in computer science·2014· 88 citedOpen Access
A Predictive Differentially-Private Mechanism for Mobility Traces
arXiv (Cornell University)·2013· 6 citedOpen Access
A Predictive Differentially-Private Mechanism for Location Privacy.
2013· 6 cited
Research Program - Probability and information theory
2013
Software and Platforms - Location Guard
2013
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems
Electronic Proceedings in Theoretical Computer Science·2012· 24 citedOpen Access

Frequent Co-authors

Konstantinos Chatzikokolakis(9), Catuscia Palamidessi(9), Cătălin Hriţcu(6), Arthur Azevedo de Amorim(5), Ana Nora Evans(5), Guglielmo Fachini(5), Théo Laurent(5), Benjamin C. Pierce(5), Andrew Tolmach(4), Carmine Abate(3), Roberto Blanco(3), Reza Shokri(2), Congzheng Song(2), Vitaly Shmatikov(2), Jérémy Thibault(1), Deepak Garg(1), Marco Patrignani(1), David Swasey(1), Denis Firsov(1), Antonio Locascio(1)