seclib: A lightweight library for Information-flow security in Haskell

[ bsd3, library, security ] [ Propose Tags ]

The library is based on the paper A Library for Light-weight Information-Flow Security in Haskell by Alejandro Russo, Koen Claessen and John Hughes. In Proceedings of the ACM SIGPLAN 2008 Haskell Symposium, Victoria, British Columbia, Canada, September 2008.

Versions 0.1, 0.2, 0.4, 0.5, 0.6, 0.7,,,,
Dependencies base (==4.*), network (>=2.2) [details]
License BSD-3-Clause
Copyright (c) 2008 ~ 2011 Alejandro Russo, Koen Claessen, John Hughes
Author Alejandro Russo, Koen Claessen, John Hughes
Maintainer Alejandro Russo < russo at chalmers dot se >
Category Security
Source repo head: git clone
Uploaded by AlejandroRusso at Tue Jul 5 20:48:51 UTC 2011
Distributions NixOS:
Downloads 3094 total (30 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees