Linear dependent types for differential privacy
From MaRDI portal
Publication:2931812
DOI10.1145/2429069.2429113zbMath1301.68111OpenAlexW2027193703MaRDI QIDQ2931812
Benjamin C. Pierce, Arjun Narayan, Justin Hsu, Andreas Haeberlen, Marco Gaboardi
Publication date: 27 November 2014
Published in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2429069.2429113
Database theory (68P15) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (13)
Linear Dependent Type Theory for Quantum Programming Languages ⋮ I Got Plenty o’ Nuttin’ ⋮ Model checking differentially private properties ⋮ Divergences on monads for relational program logics ⋮ Generalized bounded linear logic and its categorical semantics ⋮ Coupled relational symbolic execution for differential privacy ⋮ Graded modal dependent type theory ⋮ Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows ⋮ Preserving differential privacy under finite-precision semantics ⋮ Differential privacy in probabilistic systems ⋮ Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms ⋮ Relational cost analysis in a functional-imperative setting ⋮ Resourceful program synthesis from graded linear types
Uses Software
This page was built for publication: Linear dependent types for differential privacy
