13 lines
393 B
Markdown
13 lines
393 B
Markdown
## 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/)
|
|
- [ObliVM](http://oblivm.com/download.html)
|
|
|
|
## Language-Based Security
|
|
- [Jif](https://www.cs.cornell.edu/jif/)
|
|
- [FlowCaml](https://opam.ocaml.org/packages/flowcaml/flowcaml.1.07/)
|