Coupled relational symbolic execution (CRSE)[1] analysis for differential privacy.
- G. P. Farina, S. Chong, and M. Gaboardi, “Coupled relational symbolic execution for differential privacy”, arXiv:2007.12987 [cs], Jul. 2020 [Online]
-
Notifications
You must be signed in to change notification settings - Fork 0
kirelagin/cerise
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Coupled relational symbolic execution analysis for differential privacy
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published