CeRiSE

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

Use

Contributing

References

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

License

MPL-2.0 © Kirill Elagin