Hails: Protecting Data Privacy in Untrusted Web Apps
Hails is a platform and web framework that leverages Information Flow Control (IFC) to support untrusted and mutually distrustful web applications interacting and processing private data.
Installation
You can compile Hails as usual with cabal-dev:
$ cabal-dev instal-deps
$ cabal-dev install