vix.ing · top · new · best · stats · spec

Gaboardi, Marco

  1. Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences
    2018/07/04 by Borja Balle, Gilles Barthe, Balle, Borja +3 · 19 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 · 4 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. Stability is Stable: Connections between Replicability, Privacy, and Adaptive Generalization
    2023/03/22 by Bun, Mark, Gaboardi, Marco, Hopkins, Max +5 · 6 citations
    #Cryptography and Security (cs.CR) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  4. Covariance-Aware Private Mean Estimation Without Private Covariance Estimation
    2021/06/24 by Brown, Gavin, Gaboardi, Marco, Smith, Adam +2 · 3 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG)
  5. Empirical Risk Minimization in Non-interactive Local Differential Privacy: Efficiency and High Dimensional Case
    2018/02/12 by Wang, Di, Gaboardi, Marco, Xu, Jinhui · 3 citations
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  6. Local Private Hypothesis Testing: Chi-Square Tests
    2017/09/21 by Gaboardi, Marco, Rogers, Ryan · 2 citations
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Statistics Theory (math.ST)
  7. An Assertion-Based Program Logic for Probabilistic Programs
    2018/03/14 by Barthe, Gilles, Espitau, Thomas, Gaboardi, Marco +3 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
  8. Relational Symbolic Execution
    2017/11/22 by Farina, Gian Pietro, Chong, Stephen, Gaboardi, Marco · 2 citations
    #FOS: Computer and information sciences #Programming Languages (cs.PL)
  9. PSI (Ψ): a Private data Sharing Interface
    2016/09/14 by Gaboardi, Marco, Honaker, James, King, Gary +4 · 1 citation
    #Computers and Society (cs.CY) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Methodology (stat.ME)
  10. 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
  11. Graded Hoare Logic and its Categorical Semantics
    2020/07/22 by Marco Gaboardi, Gaboardi, Marco, Shin-ya Katsumata +5 · 1 citation
    Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Formal Methods in Verification