97 citations · 130 across the 4 of their papers we have counts for
5 papers
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…
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…
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.…