Concepedia

Marco Gaboardi

MG

45

Publications

1.9K

Citations

26

H-Index

2007

Active since

Affiliations

University at Buffalo, State University of New York(Current)

IMDEA Software Institute

Max Planck Institute for Software Systems

University of Pennsylvania

Buffalo State University

Marco Gaboardi is an author at University at Buffalo, State University of New York specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsData PrivacyData SecurityPrivacyCryptographyAutomated ReasoningFormal VerificationInformation Security

Publications per year

2007–2022

45

Publications

45

Differential Privacy: An Economic Method for Choosing Epsilon

Justin Hsu, Marco Gaboardi, Andreas Haeberlen et al. · 2014 · 266 citations · Full text

Linear dependent types for differential privacy

Marco Gaboardi, Andreas Haeberlen, Justin Hsu et al. · 2013 · 169 citations

Privacy Protection, Engineering, Information Security +16

Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences

Borja Balle, Gilles Barthe, Marco Gaboardi · arXiv (Cornell University) · 2018 · 105 citations · Full text

Privacy Protection, Engineering, Information Security +16

Proving Differential Privacy via Probabilistic Couplings

Gilles Barthe, Marco Gaboardi, Benjamin Grégoire et al. · 2016 · 97 citations · Full text

Privacy Protection, Engineering, Information Security +15

Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences

Borja Balle, Gilles Barthe, Marco Gaboardi · arXiv (Cornell University) · 2018 · 80 citations · Full text

Privacy Protection, Private Mechanism, Engineering +15

Rows per page

1–5 of 45