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.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Sep 03, 2014
- Source ID
- 10.1145/2775050.2633371
Entities
People
- Alejandro Russo
- Amit Levy
- David Mazières
- Deian Stefan
Organizations
- Chalmers University of Technology
- Defense Advanced Research Projects Agency
- Stanford University