CeRiSE

Coupled relational symbolic execution (CRSE)[1] analysis for differential privacy.

Use

G. P. Farina, S. Chong, and M. Gaboardi, “Coupled relational symbolic execution for differential privacy”, arXiv:2007.12987 [cs], Jul. 2020 [Online]

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
LICENSES		LICENSES
doc/proposal		doc/proposal
lib		lib
test/cerise-lib		test/cerise-lib
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
CHANGELOG.md.license		CHANGELOG.md.license
README.md		README.md
README.md.license		README.md.license
cerise.cabal		cerise.cabal
cerise.cabal.license		cerise.cabal.license
package.yaml		package.yaml
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock
stack.yaml.lock.license		stack.yaml.lock.license