LightDP

MaRDI QIDQ34456swMATHFDO

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

Described by source

• LightDP: towards automating differential privacy proofs

Cited in

(8)

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

This page was built for software: LightDP