Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy

5 September 2019

Papers citing "Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy"

8 / 8 papers shown

Title
VDDP: Verifiable Distributed Differential Privacy under the Client-Server-Verifier Setup Haochen Sun Xi He 56 0 0 30 Apr 2025
Programming Frameworks for Differential Privacy Marco Gaboardi Michael Hay Salil P. Vadhan 38 1 0 17 Mar 2024
The Complexity of Verifying Boolean Programs as Differentially Private Mark Bun Marco Gaboardi Ludmila Glinskih 31 4 0 08 Sep 2023
Towards General-purpose Infrastructure for Protecting Scientific Data Under Study Andrew Trask Kritika Prakash 46 3 0 04 Oct 2021
SoK: Opportunities for Software-Hardware-Security Codesign for Next Generation Secure Computing Deeksha Dangwal M. Cowan Armin Alaghi Vincent T. Lee Brandon Reagen Caroline Trippel 14 2 0 02 May 2021
DDUO: General-Purpose Dynamic Analysis for Differential Privacy Chiké Abuah Alex Silence David Darais Joseph P. Near 51 12 0 16 Mar 2021
Chorus: a Programming Framework for Building Scalable Differential Privacy Mechanisms Noah M. Johnson Joseph P. Near J. M. Hellerstein D. Song 22 24 0 20 Sep 2018
LightDP: Towards Automating Differential Privacy Proofs Danfeng Zhang Daniel Kifer 45 72 0 27 Jul 2016