Building secure systems with LIO (demo)

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

Research output: Contribution to journalArticlepeer-review


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)
Pages (from-to)93-94
Number of pages2
JournalACM SIGPLAN Notices
Issue number12
StatePublished - Sep 3 2014
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • General Computer Science


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


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

Cite this