Building Secure Systems with LIO (Demo)

LIO is a decentralized information flow control (DIFC) system, im-plemented in Haskell. In this demo, we give an overview of the LIO library and show how LIO can be used to build secure systems. In particular, we show how to specify high-level security policies in the context of web applications, and describe how LIO auto-matically enforces these policies even in the presence of untrusted code