@inproceedings{7d3a4e7578514a91a22e9032ff93a210,
title = "Building secure systems with LIO (demo)",
abstract = "LIO is a decentralized information flow control (DIFC) system, implemented in Haskell. In this demo proposal, 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 automatically enforces these policies even in the presence of untrusted code.",
keywords = "dclabels, decentralized information flow control, hails, lio, security, web application",
author = "Deian Stefan and Amit Levy and Alejandro Russo and David Mazi{\'e}res",
year = "2014",
doi = "10.1145/2633357.2633371",
language = "English (US)",
isbn = "9781450330411",
series = "Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium",
publisher = "Association for Computing Machinery",
pages = "93--94",
booktitle = "Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium",
note = "2014 6th ACM SIGPLAN Haskell Symposium, Haskell 2014 ; Conference date: 04-09-2014 Through 05-09-2014",
}