cmla-psu

Pinned Repositories

checkdp
Proof-of-Concept Automated Tool for Proving and Disproving Differential Privacy.
Language:Python10
commonmech
Language:Python10
dpgen
Proof-of-Concept automated program synthesizer for (pure) differential privacy.
Language:Python4 2 00
ffs
Language:Julia00
idpreconstruction
Language:Python01
matrixqueries
Language:Python10
shadowdp
Proof-of-Concept Verification Tool for Differential Privacy. Code for [PLDI'19] "Proving Differential Privacy with Shadow Execution".
Language:Python6 4 10
statdp
Statistical Counterexample Detector for Differential Privacy
Language:Python28 7 816

cmla-psu's Repositories

cmla-psu/statdp
Statistical Counterexample Detector for Differential Privacy
Language:Python28 7 816
cmla-psu/shadowdp
Proof-of-Concept Verification Tool for Differential Privacy. Code for [PLDI'19] "Proving Differential Privacy with Shadow Execution".
Language:Python6 4 10
cmla-psu/dpgen
Proof-of-Concept automated program synthesizer for (pure) differential privacy.
Language:Python4 2 00
cmla-psu/checkdp
Proof-of-Concept Automated Tool for Proving and Disproving Differential Privacy.
Language:Python10
cmla-psu/commonmech
Language:Python10
cmla-psu/matrixqueries
Language:Python10
cmla-psu/ffs
Language:Julia00
cmla-psu/idpreconstruction
Language:Python01