| 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 | 345 | 2014 |
| Privacy amplification by subsampling: Tight analyses via couplings and divergences B Balle, G Barthe, M Gaboardi Advances in neural information processing systems 31, 2018 | 272 | 2018 |
| 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 | 252 | 2018 |
| Software foundations BC Pierce, C Casinghino, M Gaboardi, M Greenberg, C Hriţcu, V Sjöberg, ... Webpage: http://www. cis. upenn. edu/bcpierce/sf/current/index. html, 2010 | 235* | 2010 |
| Linear dependent types for differential privacy M Gaboardi, A Haeberlen, J Hsu, A Narayan, BC Pierce Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 212 | 2013 |
| 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 | 141 | 2011 |
| Differentially private chi-squared hypothesis testing: Goodness of fit and independence testing M Gaboardi, H Lim, R Rogers, S Vadhan International conference on machine learning, 2111-2120, 2016 | 137 | 2016 |
| A core quantitative coeffect calculus A Brunel, M Gaboardi, D Mazza, S Zdancewic European Symposium on Programming Languages and Systems, 351-370, 2014 | 113 | 2014 |
| 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 | 99 | 2015 |
| Proving differential privacy via probabilistic couplings G Barthe, M Gaboardi, B Grégoire, J Hsu, PY Strub Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 97 | 2016 |
| Combining effects and coeffects via grading M Gaboardi, S Katsumata, D Orchard, F Breuvart, T Uustalu ACM SIGPLAN Notices 51 (9), 476-489, 2016 | 89 | 2016 |
| 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 | 88 | 2014 |
| Relational cost analysis E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann ACM SIGPLAN Notices 52 (1), 316-329, 2017 | 86 | 2017 |
| 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 | 82 | 2016 |
| Bridging the gap between computer science and legal approaches to privacy K Nissim, A Bembenek, A Wood, M Bun, M Gaboardi, U Gasser, ... Harv. JL & Tech. 31, 687, 2017 | 71 | 2017 |
| Hypothesis testing interpretations and renyi differential privacy B Balle, G Barthe, M Gaboardi, J Hsu, T Sato International Conference on Artificial Intelligence and Statistics, 2496-2506, 2020 | 67 | 2020 |
| 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 | 63 | 2014 |
| 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), 1-29, 2017 | 62 | 2017 |
| A Soft Type Assignment System for λ-Calculus M Gaboardi, S Ronchi Della Rocca International Workshop on Computer Science Logic, 253-267, 2007 | 61 | 2007 |
| 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 | 59 | 2016 |
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
