LightDP

swMATH22665MaRDI QIDQ34456FDOQ34456

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=3009884

Described by source

• LightDP: towards automating differential privacy proofs

Cited In (8)

• Verifying Pufferfish privacy in hidden Markov models
• Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
• PrivateLR
• SuLQ
• Pufferfish
• Hazelnut
• ObliVM
• Model checking differentially private properties

This page was built for software: LightDP