Building secure systems with LIO (demo)
Paper in proceedings, 2014

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.

hails

security

web application

decentralized information flow control

lio

dclabels

Author

D. Stefan

Stanford University

Amit Levy

Stanford University

Alejandro Russo

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

David Mazières

Stanford University

Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium

93-94

Subject Categories

Software Engineering

DOI

10.1145/2633357.2633371

ISBN

978-145033041-1