Software Foundations. Electronic textbook BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... | 147* | 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 | 125 | 2014 |

Linear dependent types for differential privacy M Gaboardi, A Haeberlen, J Hsu, A Narayan, BC Pierce Acm sigplan notices 48 (1), 357-370, 2013 | 121 | 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 | 85 | 2011 |

A Soft Type Assignment System for *λ*-CalculusM Gaboardi, SR Della Rocca International Workshop on Computer Science Logic, 253-267, 2007 | 60 | 2007 |

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 | 58 | 2015 |

A logical account of PSPACE M Gaboardi, JY Marion, SR Della Rocca ACM SIGPLAN Notices 43 (1), 121-131, 2008 | 53 | 2008 |

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 | 52 | 2016 |

A core quantitative coeffect calculus A Brunel, M Gaboardi, D Mazza, S Zdancewic European Symposium on Programming Languages and Systems, 351-370, 2014 | 40 | 2014 |

A polytime functional language from light linear logic P Baillot, M Gaboardi, V Mogbil European Symposium on Programming, 104-124, 2010 | 40 | 2010 |

Relational cost analysis E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann ACM SIGPLAN Notices 52 (1), 316-329, 2017 | 37 | 2017 |

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 | 37 | 2014 |

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 | 34 | 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 | 29 | 2014 |

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 | 27 | 2016 |

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 | 24 | 2016 |

An implicit characterization of pspace M Gaboardi, JY Marion, S Ronchi Della Rocca ACM Transactions on Computational Logic (TOCL) 13 (2), 18, 2012 | 22 | 2012 |

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 | 21 | 2017 |

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 |

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 | 20 | 2016 |