Marco Stronati

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2018
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract).
CoRR, 2017

Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract).
CoRR, 2017

Membership Inference Attacks Against Machine Learning Models.
Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

2016
Membership Inference Attacks against Machine Learning Models.
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).
PhD thesis, 2015

Location privacy via geo-indistinguishability.
ACM SIGLOG News, 2015

Constructing elastic distinguishability metrics for location privacy.
Proc. Priv. Enhancing Technol., 2015

Geo-indistinguishability: A Principled Approach to Location Privacy.
Proceedings of the Distributed Computing and Internet Technology, 2015

2014
A Predictive Differentially-Private Mechanism for Mobility Traces.
Proceedings of the Privacy Enhancing Technologies - 14th International Symposium, 2014

2013
A Predictive Differentially-Private Mechanism for Location Privacy.
CoRR, 2013

2012
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012


  Loading...