Programming language techniques for differential privacy

No abstract is available for this paper.

• Publication year

  2016

• Venue

  SIGL

• Publication date

  2016-02-17

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2893582.2893591
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Verifiable differential privacy

  2015cited by this paper
• Relational Reasoning via Probabilistic Coupling

  2015influential reference
• Personalised Differential Privacy Summary of POPL ’ 15 paper “ Differential Privacy : Now It ’ s Getting Personal ”

  2015cited by this paper
• RAPPOR: Randomized Aggregatable Privacy-Preserving Ordinal Response

  2014cited by this paper
• The Algorithmic Foundations of Differential Privacy

  2014cited by this paper
• Generalized Bisimulation Metrics

  2014influential reference
• Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

  2014influential reference
• Differentially private data aggregation with optimal utility

  2014cited by this paper
• Dual Query: Practical Private Query Release for High Dimensional Data

  2014cited by this paper
• Really Natural Linear Indexed Type Checking

  2014cited by this paper
• Proving Differential Privacy in Hoare Logic

  2014cited by this paper
• Sensitivity analysis using type-based constraints

  2013cited by this paper
• Differential Privacy by Typing in Security Protocols

  2013cited by this paper
• Verified Computational Differential Privacy with Applications to Smart Metering

  2013cited by this paper
• A Predictive Differentially-Private Mechanism for Mobility Traces

  2013cited by this paper
• Linear dependent types for differential privacy

  2013cited by this paper
• DP-WHERE: Differentially private modeling of human mobility

  2013cited by this paper
• Probabilistic relational reasoning for differential privacy

  2012influential reference
• GUPT: privacy preserving data analysis made easy

  2012cited by this paper
• Calibrating Data to Sensitivity in Private Data Analysis

  2012cited by this paper
• Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus

  2012cited by this paper
• Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)

  2011cited by this paper
• Differential Privacy Under Fire

  2011cited by this paper
• Private and Continual Release of Statistics

  2010cited by this paper
• Differentially-private network trace analysis

  2010cited by this paper
• Airavat: Security and Privacy for MapReduce

  2010cited by this paper
• Distance makes the types grow stronger: a calculus for differential privacy

  2010cited by this paper
• Privacy integrated queries

  2010cited by this paper
• Boosting and Differential Privacy

  2010cited by this paper
• Computational Differential Privacy

  2009cited by this paper
• Robust De-anonymization of Large Sparse Datasets

  2008cited by this paper
• Towards Sharp Inapproximability For Any 2-CSP

  2007cited by this paper
• Smooth sensitivity and sampling in private data analysis

  2007cited by this paper
• Calibrating Noise to Sensitivity in Private Data Analysis

  2006influential reference
• Simple relational correctness proofs for static analyses and program transformations

  2004cited by this paper
• Randomized response: a survey technique for eliminating evasive answer bias.

  1965cited by this paper

• Dependent Coeffects for Local Sensitivity Analysis

  2026cites this paper
• Session Types for the Concurrent Composition of Interactive Differential Privacy

  2025cites this paper
• Engineering Privacy at the Edge: A Practical Guide to Differential Privacy in System Architectures

  2025cites this paper
• Equivalence and Similarity Refutation for Probabilistic Programs

  2024cites this paper
• A Comparative Analysis of Word-Level Metric Differential Privacy: Benchmarking the Privacy-Utility Trade-off

  2024cites this paper
• The First 10 Volumes of SIGLOG News: a retrospective

  2024cites this paper
• Fairness in Ranking Supermartingales

  2023cites this paper
• Quotients and Extensionality in Relational Doctrines

  2023cites this paper
• Advanced Composition Theorems for Differential Obliviousness

  2023cites this paper
• Lexicographic Ranking Supermartingales with Lazy Lower Bounds

  2023cites this paper
• Locally Differentially Private Personal Data Markets Using Contextual Dynamic Pricing Mechanism

  2023cites this paper
• Logical Foundations of Quantitative Equality

  2022cites this paper
• On Lexicographic Proof Rules for Probabilistic Termination

  2021cites this paper
• Porcupine: a synthesizing compiler for vectorized homomorphic encryption

  2021cites this paper
• Quantitative Equality in Substructural Logic via Lipschitz Doctrines

  2021cites this paper
• Verifying Pufferfish Privacy in Hidden Markov Models

  2020cites this paper
• Deciding accuracy of differential privacy schemes

  2020cites this paper
• Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning

  2020cites this paper
• SoK: Opportunities for Software-Hardware-Security Codesign for Next Generation Secure Computing

  2020cites this paper
• Proving that Programs Are Differentially Private

  2019cites this paper
• Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)

  2019cites this paper
• OpenDP : An Open-Source Suite of Differential Privacy Tools

  2019cites this paper
• Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy

  2019influential citation
• Automated Methods for Checking Differential Privacy

  2019cites this paper
• C R ] 9 O ct 2 01 9 Automated Methods for Checking Differential Privacy

  2019cites this paper
• The Complexity of Verifying Circuits as Differentially Private

  2019cites this paper
• Formal methods for statistical software

  2019cites this paper
• The Complexity of Verifying Loop-Free Programs as Differentially Private

  2019cites this paper
• Deciding Differential Privacy for Programs with Finite Inputs and Outputs

  2019cites this paper
• DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization

  2018cites this paper
• Metric Semantics for Probabilistic Relational Reasoning

  2018cites this paper
• Analysis of networks: privacy in Bayesian networks and problems in lattice models

  2017cites this paper
• Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy

  2017cites this paper
• Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs

  2017cites this paper
• Reasoning about Divergences for Relaxations of Differential Privacy

  2017cites this paper
• Probabilistic Couplings for Probabilistic Reasoning

  2017cites this paper
• Bounded expectations: resource analysis for probabilistic programs

  2017cites this paper
• Synthesizing coupling proofs of differential privacy

  2017cites this paper
• *-Liftings for Differential Privacy

  2017influential citation
• Pain-Free Random Differential Privacy with Sensitivity Sampling

  2017cites this paper
• Explorer Differentially Private Bayesian Programming

  2016cites this paper
• Graph-based modelling of query sets for differential privacy

  2016cites this paper
• Relational Expectation Properties by Probabilistic Coupling

  2016cites this paper
• Advanced Composition Theorems for Differential Obliviousness

  year unknowncites this paper
• Edinburgh Research Explorer Differentially Private Bayesian Programming

  year unknowncites this paper