## 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/)
