https://github.com/kirelagin/cerise
Coupled relational symbolic execution analysis for differential privacy
https://github.com/kirelagin/cerise
differential-privacy haskell
Last synced: 7 months ago
JSON representation
Coupled relational symbolic execution analysis for differential privacy
- Host: GitHub
- URL: https://github.com/kirelagin/cerise
- Owner: kirelagin
- Created: 2021-03-22T14:55:44.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2021-03-22T16:04:41.000Z (over 4 years ago)
- Last Synced: 2025-02-01T14:24:06.189Z (9 months ago)
- Topics: differential-privacy, haskell
- Language: Haskell
- Homepage:
- Size: 31.3 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0