Marco Gaboardi

1. Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences
   2018/07/04 by Borja Balle, Gilles Barthe, Balle, Borja +3 · 32 citations
   Computer Science · Decision Sciences · Mathematics · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Privacy-Preserving Technologies in Data #Probability and Risk Models #Statistical Methods and Inference
2. Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit\n and Independence Testing
   2016/02/07 by Marco Gaboardi, Gaboardi, Marco, Hyun Woo Lim +5 · 8 citations
   Computer Science · Mathematics · #Advanced Causal Inference Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Privacy-Preserving Technologies in Data #Random Matrices and Applications #Statistics Theory (math.ST)
3. Dual Query: Practical Private Query Release for High Dimensional Data
   2014/02/06 by Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu +2 · 1 voice · 1 citation
   #cs.DS #cs.CR #cs.DB #cs.LG
4. Covariance-Aware Private Mean Estimation Without Private Covariance\n Estimation
   2021/06/24 by Gavin Brown, Brown, Gavin, Marco Gaboardi +7 · 4 citations
   Computer Science · Economics, Econometrics and Finance · Mathematics · #Adversarial Robustness in Machine Learning #Cryptography and Data Security #Economic and Environmental Valuation #FOS: Computer and information sciences #Machine Learning (cs.LG) #Privacy-Preserving Technologies in Data #Statistical Methods and Bayesian Inference
5. PSI (Ψ): a Private data Sharing Interface
   2016/09/14 by Marco Gaboardi, Gaboardi, Marco, James Honaker +11 · 2 citations
   Computer Science · Social Sciences · #Computers and Society (cs.CY) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Methodology (stat.ME) #Privacy, Security, and Data Protection #Privacy-Preserving Technologies in Data
6. Privacy Amplification by Mixing and Diffusion Mechanisms
   2019/05/29 by Borja Balle, Balle, Borja, Gilles Barthe +5 · 2 citations
   Computer Science · Decision Sciences · Mathematics · #Advanced Bandit Algorithms Research #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Markov Chains and Monte Carlo Methods #Privacy-Preserving Technologies in Data #Probability (math.PR)
7. Empirical Risk Minimization in the Non-interactive Local Model of Differential Privacy
   2020/11/11 by Di Wang, Wang, Di, Marco Gaboardi +5 · 2 citations
   Computer Science · #Complexity and Algorithms in Graphs #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Privacy-Preserving Technologies in Data
8. Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda\n Calculus
   2018/02/27 by Alejandro Aguirre, Aguirre, Alejandro, Gilles Barthe +9 · 1 citation
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies
9. A Programming Framework for Differential Privacy with Accuracy\n Concentration Bounds
   2019/09/10 by Elisabet Lobo-Vesga, Alejandro Russo, Lobo-Vesga, Elisabet +3 · 1 citation
   Computer Science · #Privacy-Preserving Technologies in Data #Cryptography and Data Security #Distributed systems and fault tolerance
10. Graded Hoare Logic and its Categorical Semantics
    2020/07/22 by Marco Gaboardi, Shin-ya Katsumata, Gaboardi, Marco +5 · 1 citation
    Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Formal Methods in Verification
11. Estimating Smooth GLM in Non-interactive Local Differential Privacy\n Model with Public Unlabeled Data
    2019/10/01 by Di Wang, Lijie Hu, Wang, Di +7 · 1 citation
    Computer Science · Mathematics · #Privacy-Preserving Technologies in Data #Cryptography and Data Security #Random Matrices and Applications
12. Probabilistic Relational Reasoning via Metrics
    2018/07/13 by Arthur Azevedo de Amorim, Marco Gaboardi, de Amorim, Arthur Azevedo +5 · 1 citation
    Computer Science · Social Sciences · #Cryptography and Data Security #Ethics and Social Impacts of AI #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data #Programming Languages (cs.PL)
13. Leaf: An Instrumentation-based Dynamic Analysis Framework for Rust
    2026/07/16 by Mohammad Omidvar Tehrani, Marco Gaboardi, Nick Sumner +1
    Computer Science · #cs.SE
14. A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs
    2026/07/29 by June Wunder, Ankush Das, Marco Gaboardi
    Computer Science · #cs.PL #cs.SE