LightDP

swMATH22665MaRDI QIDQ34456FDOQ34456

Author name not available (Why is that?)

Described by source

• LightDP: towards automating differential privacy proofs

Cited In (3)

• 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