Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
ALibrary For Light-WeightInformation-FlowSecurityInHaskell
Stc
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][061]] ----+++++ 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.
