LightDP: towards automating differential privacy proofs
- 1 January 2017
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 52 (1), 888-901
- https://doi.org/10.1145/3093333.3009884
Abstract
No abstract availableKeywords
Other Versions
This publication has 24 references indexed in Scilit:
- Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential PrivacyPublished by Association for Computing Machinery (ACM) ,2015
- PufferfishACM Transactions on Database Systems, 2014
- Sensitivity analysis using type-based constraintsPublished by Association for Computing Machinery (ACM) ,2013
- Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic ProgramsLecture Notes in Computer Science, 2013
- Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)Electronic Notes in Theoretical Computer Science, 2011
- Privacy: Theory meets Practice on the MapPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Our Data, Ourselves: Privacy Via Distributed Noise GenerationLecture Notes in Computer Science, 2006
- Type error slicing in implicitly typed higher-order languagesScience of Computer Programming, 2004
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981