Building secure systems with LIO (demo)

Deian Stefan, Amit Levy, Alejandro Russo, David Maziéres

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationHaskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium
PublisherAssociation for Computing Machinery
Pages93-94
Number of pages2
ISBN (Print)9781450330411
DOIs
StatePublished - Jan 1 2014
Externally publishedYes
Event2014 6th ACM SIGPLAN Haskell Symposium, Haskell 2014 - Gothenburg, Sweden
Duration: Sep 4 2014Sep 5 2014

Publication series

NameHaskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium

Other

Other2014 6th ACM SIGPLAN Haskell Symposium, Haskell 2014
CountrySweden
CityGothenburg
Period9/4/149/5/14

All Science Journal Classification (ASJC) codes

  • Computer Graphics and Computer-Aided Design
  • Software

Keywords

  • dclabels
  • decentralized information flow control
  • hails
  • lio
  • security
  • web application

Fingerprint Dive into the research topics of 'Building secure systems with LIO (demo)'. Together they form a unique fingerprint.

  • Cite this

    Stefan, D., Levy, A., Russo, A., & Maziéres, D. (2014). Building secure systems with LIO (demo). In Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium (pp. 93-94). (Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium). Association for Computing Machinery. https://doi.org/10.1145/2633357.2633371