This repository has been archived on 2024-11-04. You can view files and clone it, but cannot push or open issues or pull requests.
2018-07-21 20:34:26 +00:00
|
|
|
## Differential Privacy
|
|
|
|
- [DFuzz](https://github.com/ejgallego/dfuzz)
|
|
|
|
- [HOARe2](https://github.com/ejgallego/HOARe2)
|
|
|
|
|
|
|
|
## Cryptography
|
|
|
|
- [HELib](https://github.com/shaih/HElib)
|
|
|
|
- [Obliv-C](https://oblivc.org/)
|
2018-08-01 17:25:43 +00:00
|
|
|
- [ObliVM](http://oblivm.com/download.html)
|
2018-07-21 20:34:26 +00:00
|
|
|
|
|
|
|
## Language-Based Security
|
|
|
|
- [Jif](https://www.cs.cornell.edu/jif/)
|
|
|
|
- [FlowCaml](https://opam.ocaml.org/packages/flowcaml/flowcaml.1.07/)
|