cmla-psu

Popular repositories Loading

1. statdp statdp Public

   Statistical Counterexample Detector for Differential Privacy

   Python 28 13

2. shadowdp shadowdp Public

   Proof-of-Concept Verification Tool for Differential Privacy. Code for [PLDI'19] "Proving Differential Privacy with Shadow Execution".

   Python 6

3. dpgen dpgen Public

   Proof-of-Concept automated program synthesizer for (pure) differential privacy.

   Python 3

4. freegap freegap Public

   Collection of new variants of differentially private algorithms which release additional information. Code for [PVLDB'20] Free Gap Information from the Differentially Private Sparse Vector and Nois…

   Python 2

5. matrixqueries matrixqueries Public

   Python 1

6. checkdp checkdp Public

   Proof-of-Concept Automated Tool for Proving and Disproving Differential Privacy.

   Python 1