ALibrary For Light-WeightInformation-FlowSecurityInHaskell
Room: BBL 061
Speaker: Dragos Ionita
Title: A Library for Light-Weight Information-Flow Security in Haskell
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have
been developed over the years to achieve that purpose, leading to special-purpose languages that guarantee information-flow security in programs. However, rather than producing a new language from scratch, information-flow security can also be provided as a library.
This talk is about a monadic library to provide information-flow security for Haskell programs, and how it can be adapted to guarantee confidentiality in a web application.
We will also look at some of the advantages and disadvantages of using this approach.