Shan, Alex
- Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy
2019/09/05 by Joseph P. Near, David Darais, Near, Joseph P. +19 · 1 citation
Computer Science · #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data #Programming Languages (cs.PL) #Stochastic Gradient Optimization Techniques