Login / Signup

Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy.

Joseph P. NearDavid DaraisChike AbuahTim StevensPranav GaddamaduguLun WangNeel SomaniMu ZhangNikhil SharmaAlex ShanDawn Song
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • higher order
  • differential privacy
  • differentially private
  • privacy preserving
  • privacy guarantees
  • tabular data
  • private data
  • privacy preserving data mining algorithms
  • anonymized data
  • information systems