HLIO: mixing static and dynamic typing for information-flow control in Haskell

@inproceedings{Buiras2015HLIOMS,
  title={HLIO: mixing static and dynamic typing for information-flow control in Haskell},
  author={Pablo Buiras and Dimitrios Vytiniotis and Alejandro Russo},
  booktitle={ICFP},
  year={2015}
}
Information-Flow Control (IFC) is a well-established approach for allowing untrusted code to manipulate sensitive data without disclosing it. IFC is typically enforced via type systems and static analyses or via dynamic execution monitors. The LIO Haskell library, originating in operating systems research, implements a purely dynamic monitor of the sensitivity level of a computation, particularly suitable when data sensitivity levels are only known at runtime. In this paper, we show how to give… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS
21 Citations
0 References
Similar Papers