97 citations · 158 across the 8 of their papers we have counts for
8 papers
Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
Marco Stronati, Denis Firsov, Antonio Locascio +1
Plonkish is a popular circuit format for developing zero-knowledge proof systems that powers a number of major projects in the blockchain space, responsible for holding billions of…
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco +8
We propose a new formal criterion for evaluating secure compilation schemes for unsafe languages, expressing end-to-end security guarantees for software components that may become…
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati +5
We propose a new formal criterion for secure compilation, providing strong security guarantees for components written in unsafe, low-level languages with C-style undefined behavior…
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
Deepak Garg, Catalin Hritcu, Marco Patrignani +2
We map the space of soundness criteria for secure compilation based on the preservation of hyperproperties in arbitrary adversarial contexts, which we call robust hyperproperty pre…
Membership Inference Attacks against Machine Learning Models
Reza Shokri, Marco Stronati, Congzheng Song +1
We quantitatively investigate how machine learning models leak information about the individual data records on which they were trained. We focus on the basic membership inference…
Constructing elastic distinguishability metrics for location privacy
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
With the increasing popularity of hand-held devices, location-based applications and services have access to accurate and real-time location information, raising serious privacy co…
A Predictive Differentially-Private Mechanism for Mobility Traces
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
With the increasing popularity of GPS-enabled hand-held devices, location-based applications and services have access to accurate and real-time location information, raising seriou…
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems
Catuscia Palamidessi, Marco Stronati
Differential privacy is a modern approach in privacy-preserving data analysis to control the amount of information that can be inferred about an individual by querying a database.…