ALibrary For Light-WeightInformation-FlowSecurityInHaskell
Date: 2010-12-23 Time: 11:45 Room: [[http://www.cs.uu.nl/docs/reach/bbl.php][BBL]] [[http://www.cs.uu.nl/info/plan/bbl.php]] ----+++++ Speaker: Dragos Ionita ----+++++ Title: A Library for Light-Weight Information-Flow Security in Haskell ----+++++ Abstract 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.