Coupled relational symbolic execution for differential privacy
From MaRDI portal
Publication:2233459
DOI10.1007/978-3-030-72019-3_8zbMath1473.68072arXiv2007.12987OpenAlexW3150939926MaRDI QIDQ2233459
Gian Pietro Farina, Marco Gaboardi, Stephen Chong
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2007.12987
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Privacy of data (68P27)
Related Items (3)
Verifying Pufferfish privacy in hidden Markov models ⋮ Sound symbolic execution via abstract interpretation and its application to security ⋮ Coupled relational symbolic execution for differential privacy
Cites Work
- Coupled relational symbolic execution for differential privacy
- Randomized Response: A Survey Technique for Eliminating Evasive Answer Bias
- Linear dependent types for differential privacy
- Probabilistic relational reasoning for differential privacy
- Proving Differential Privacy via Probabilistic Couplings
- Deciding Differential Privacy for Programs with Finite Inputs and Outputs
- Distance makes the types grow stronger
- Information flow inference for ML
- LightDP: towards automating differential privacy proofs
- Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
- Theory of Cryptography
- Model checking differentially private properties
This page was built for publication: Coupled relational symbolic execution for differential privacy
