Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
Authors: Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song | Published: 2019-09-05
Privacy-Preserving Algorithm
Privacy Protection Mechanism
Machine Learning