Marco Gaboardi - Concepedia

Author

Marco Gaboardi

University at Buffalo, State University of New York ORCID

Also Known As

Esencayi, Yunus, Gaboardi, Marco, Gian Farina, Lago, M. Gaboardi, MARCO GABOARDI, Marco Gaboardi

169

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

University at Buffalo, State University of New York IMDEA Software Institute Max Planck Institute for Software Systems University of Pennsylvania Buffalo State University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	24	37	1.4K
2	Business	4	4	134
3	Education	2	2	71
4	Social Sciences	1	1	16
5	Biostatistics	1	1	41

Marco Gaboardi

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
Differential Privacy: An Economic Method for Choosing Epsilon Justin Hsu, Marco Gaboardi, Andreas Haeberlen,	2014	266
Linear dependent types for differential privacy Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Privacy ProtectionEngineeringInformation SecurityFunctional AnalysisSingle Record	2013	169
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences Borja Balle, Gilles Barthe, Marco Gaboardi arXiv (Cornell University) Privacy ProtectionEngineeringInformation SecurityData SciencePrivacy System	2018	105
Proving Differential Privacy via Probabilistic Couplings Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Privacy ProtectionEngineeringInformation SecurityPrivacy ServiceVerification	2016	97
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences Borja Balle, Gilles Barthe, Marco Gaboardi arXiv (Cornell University) Privacy ProtectionPrivate MechanismEngineeringData ScienceInformation Security	2018	80
Combining effects and coeffects via grading Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, EngineeringType TheoryTreatment EffectEducationQuasi-experiment	2016	61
Relational cost analysis Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Program CheckingEngineeringSoftware EngineeringComputational ComplexityBusiness Analytics	2016	61
Proving Differential Privacy in Hoare Logic Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Privacy ProtectionEngineeringInformation SecurityVerificationFormal Verification	2014	59
Advanced Probabilistic Couplings for Differential Privacy Gilles Barthe, Noémie Fong, Marco Gaboardi, Privacy ProtectionEngineeringInformation SecurityVerificationFormal Verification	2016	55
Linear Dependent Types and Relative Completeness Ugo Dal Lago, Marco Gaboardi Mathematical ProgrammingLinear Dependent TypesDependent TypesEngineeringAutomated Reasoning	2011	54

Page 1