Marco Gaboardi
TitleCited byYear
Software Foundations. Electronic textbook
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
151*2016
Differential privacy: An economic method for choosing epsilon
J Hsu, M Gaboardi, A Haeberlen, S Khanna, A Narayan, BC Pierce, ...
2014 IEEE 27th Computer Security Foundations Symposium, 398-410, 2014
1342014
Linear dependent types for differential privacy
M Gaboardi, A Haeberlen, J Hsu, A Narayan, BC Pierce
Acm sigplan notices 48 (1), 357-370, 2013
1242013
Linear dependent types and relative completeness
U Dal Lago, M Gaboardi
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, 133-142, 2011
872011
A Soft Type Assignment System for λ-Calculus
M Gaboardi, SR Della Rocca
International Workshop on Computer Science Logic, 253-267, 2007
612007
Higher-order approximate relational refinement types for mechanism design and differential privacy
G Barthe, M Gaboardi, EJ Gallego Arias, J Hsu, A Roth, PY Strub
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
592015
A logical account of PSPACE
M Gaboardi, JY Marion, SR Della Rocca
ACM SIGPLAN Notices 43 (1), 121-131, 2008
532008
Differentially private chi-squared hypothesis testing: Goodness of fit and independence testing
M Gaboardi, HW Lim, RM Rogers, SP Vadhan
ICML'16 Proceedings of the 33rd International Conference on International …, 2016
522016
A core quantitative coeffect calculus
A Brunel, M Gaboardi, D Mazza, S Zdancewic
European Symposium on Programming Languages and Systems, 351-370, 2014
402014
A polytime functional language from light linear logic
P Baillot, M Gaboardi, V Mogbil
European Symposium on Programming, 104-124, 2010
402010
Proving differential privacy via probabilistic couplings
G Barthe, M Gaboardi, B Grégoire, J Hsu, PY Strub
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
382016
Proving differential privacy in Hoare logic
G Barthe, M Gaboardi, EJG Arias, J Hsu, C Kunz, PY Strub
2014 IEEE 27th Computer Security Foundations Symposium, 411-424, 2014
382014
Relational cost analysis
E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann
ACM SIGPLAN Notices 52 (1), 316-329, 2017
372017
Psi ({\Psi}): a private data sharing interface
M Gaboardi, J Honaker, G King, J Murtagh, K Nissim, J Ullman, S Vadhan
arXiv preprint arXiv:1609.04340, 2016
292016
Dual query: Practical private query release for high dimensional data
M Gaboardi, EJG Arias, J Hsu, A Roth, ZS Wu
International Conference on Machine Learning, 1170-1178, 2014
292014
Advanced probabilistic couplings for differential privacy
G Barthe, N Fong, M Gaboardi, B Grégoire, J Hsu, PY Strub
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
282016
Differentially private Bayesian programming
G Barthe, GP Farina, M Gaboardi, EJG Arias, A Gordon, J Hsu, PY Strub
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
232016
An implicit characterization of pspace
M Gaboardi, JY Marion, S Ronchi Della Rocca
ACM Transactions on Computational Logic (TOCL) 13 (2), 18, 2012
232012
A relational logic for higher-order programs
A Aguirre, G Barthe, M Gaboardi, D Garg, PY Strub
Proceedings of the ACM on Programming Languages 1 (ICFP), 21, 2017
222017
Differential Privacy: A Primer for a Non-Technical Audience
A Wood, M Altman, A Bembenek, M Bun, M Gaboardi, J Honaker, ...
Vand. J. Ent. & Tech. L. 21, 209, 2018
20*2018
The system can't perform the operation now. Try again later.
Articles 1–20