48 citations · 122 across the 17 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CR2020
DuetSGX: Differential Privacy with Secure Hardware
Phillip Nguyen, Alex Silence, David Darais +1
Differential privacy offers a formal privacy guarantee for individuals, but many deployments of differentially private systems require a trusted third party (the data curator). We…
cs.PL2020
Contextual Linear Types for Differential Privacy
Matías Toro, David Darais, Chike Abuah +4
Language support for differentially-private programming is both crucial and delicate. While elaborate program logics can be very expressive, type-system based approaches using line…