LightDP: towards automating differential privacy proofs

DOI10.1145/3009837.3009884zbMath1380.68136arXiv1607.08228OpenAlexW2565203757MaRDI QIDQ5370924

Danfeng Zhang, Daniel Kifer

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1607.08228

zbMATH Keywords

dependent typestype inferencedifferential privacy

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Verifying Pufferfish privacy in hidden Markov models ⋮ Model checking differentially private properties ⋮ Coupled relational symbolic execution for differential privacy ⋮ LightDP

Uses Software

• z3
• Pufferfish
• vZ

This page was built for publication: LightDP: towards automating differential privacy proofs