Marco Gaboardi

Identifiers

• name variant Marco Gaboardi 0.60 · backfill

Papers (21)

1. Separating Oblivious and Adaptive Differential Privacy under Continual Observation cs.CR · 2026 · author #2
2. Locally Private Mean Estimation: Z-test and Tight Confidence Intervals cs.DS · 2018 · author #1
3. Probabilistic Relational Reasoning via Metrics cs.PL · 2018 · author #2
4. Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences cs.LG · 2018 · author #3
5. An Assertion-Based Program Logic for Probabilistic Programs cs.LO · 2018 · author #3
6. Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus cs.PL · 2018 · author #5
7. Empirical Risk Minimization in Non-interactive Local Differential Privacy: Efficiency and High Dimensional Case cs.LG · 2018 · author #2
8. Local Private Hypothesis Testing: Chi-Square Tests math.ST · 2017 · author #1
9. PSI ({\Psi}): a Private data Sharing Interface cs.CR · 2016 · author #1
10. Advanced Probabilistic Couplings for Differential Privacy cs.LO · 2016 · author #3
11. Differentially Private Bayesian Programming cs.PL · 2016 · author #3
12. Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence Testing math.ST · 2016 · author #1
13. Really Natural Linear Indexed Type Checking cs.LO · 2015 · author #3
14. Computer-aided verification in mechanism design cs.GT · 2015 · author #2
15. Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy cs.PL · 2014 · author #2
16. Proving differential privacy in Hoare logic cs.LO · 2014 · author #2
17. Differential Privacy: An Economic Method for Choosing Epsilon cs.DB · 2014 · author #2
18. Dual Query: Practical Private Query Release for High Dimensional Data cs.DS · 2014 · author #1
19. Linear Dependent Types for Domain Specific Program Analysis (Extended Abstract) cs.PL · 2013 · author #1
20. An Implicit Characterization of PSPACE cs.LO · 2010 · author #1
21. Categorical Models for a Semantically Linear Lambda-calculus cs.LO · 2010 · author #1

Mentions

• 1306.6856 #1 · backfill · confidence 0.70 Marco Gaboardi
• 1006.0030 #1 · backfill · confidence 0.70 Marco Gaboardi
• 1003.5511 #1 · backfill · confidence 0.70 Marco Gaboardi

Frequent Coauthors

• Justin Hsu 10 shared papers
• Gilles Barthe 8 shared papers
• Pierre-Yves Strub 6 shared papers
• Emilio Jes\'us Gallego Arias 5 shared papers
• Aaron Roth 4 shared papers
• Ryan Rogers 3 shared papers
• Arthur Azevedo de Amorim 2 shared papers
• Benjamin Gr\'egoire 2 shared papers
• Salil Vadhan 2 shared papers
• Alejandro Aguirre 1 shared papers
• Ale\v{s} Bizjak 1 shared papers
• Andreas Haeberlen 1 shared papers
• Andy Gordon 1 shared papers
• Arjun Narayan 1 shared papers
• Benjamin C. Pierce 1 shared papers
• Borja Balle 1 shared papers
• C\'esar Kunz 1 shared papers
• Connor Wagaman 1 shared papers
• Deepak Garg 1 shared papers
• Di Wang 1 shared papers