You are here:
(17 Dec 2010, DragosIonita)
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.
ore topic actions
Topic revision: r2 - 17 Dec 2010, DragosIonita
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?