SecureHaskellProgramming

Secure Haskell Programming

We have developed a library for practical programming of secure information flow. This means that the type system helps you keeping track of who, what and when certain parts of your program can get access to certain information. In this project, you will build a largish application in Haskell that makes use of this library. Your application will deal with sensitive information, such as passwords, e-mails, private data, etc., but also interact with the environment, such as fetch information on the web, allow external plug-ins, etc.

Background: AFP, Datastructures. Number of people: 1. Contact person: Koen, Alejandro