Probabilistic relational reasoning for differential privacy
From MaRDI portal
Recommendations
- Coupled relational symbolic execution for differential privacy
- Distance makes the types grow stronger: a calculus for differential privacy
- Deciding differential privacy for programs with finite inputs and outputs
- LightDP: towards automating differential privacy proofs
- Proving differential privacy via probabilistic couplings
Cited in
(38)- On the hardness of analyzing probabilistic programs
- Approximate relational Hoare logic for continuous random samplings
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Verifying Pufferfish privacy in hidden Markov models
- Coupled relational symbolic execution for differential privacy
- Graded Hoare logic and its categorical semantics
- Fifty years of Hoare's logic
- Product programs and relational program logics
- Model checking differentially private properties
- Higher-order approximate relational refinement types for mechanism design and differential privacy
- Linear dependent types for differential privacy
- On Differentially Private Inductive Logic Programming
- Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows
- Understanding probabilistic programs
- Proving differential privacy via probabilistic couplings
- Preserving differential privacy under finite-precision semantics
- \(*\)-liftings for differential privacy
- Deciding differential privacy for programs with finite inputs and outputs
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- Distance makes the types grow stronger: a calculus for differential privacy
- Relational -liftings for differential privacy
- Differential privacy in probabilistic systems
- Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs
- LightDP: towards automating differential privacy proofs
- Generalized differential privacy: regions of priors that admit robust optimal mechanisms
- Formal verification of differential privacy for interactive systems (extended abstract)
- scientific article; zbMATH DE number 7333242 (Why is no real title available?)
- Asymmetric Distances for Approximate Differential Privacy
- Divergences on monads for relational program logics
- Model checking differentially private properties
- Does a Program Yield the Right Distribution?
- Proving that programs are differentially private
- Logical foundations of quantitative equality
- Toward automatic verification of quantum programs
- A partial metric semantics of higher-order types and approximate program transformations
- The complexity of verifying loop-free programs as differentially private
- Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
- A linear type system for L^p-metric sensitivity analysis
This page was built for publication: Probabilistic relational reasoning for differential privacy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942860)
