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

## Language-Based Security
- [Jif](https://www.cs.cornell.edu/jif/)
- [FlowCaml](https://opam.ocaml.org/packages/flowcaml/flowcaml.1.07/)

## Adversarial Machine Learning