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 12:23:48 UTC 2011
Distributions NixOS:
Downloads 3064 total (12 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-27 [all 7 reports]
Hackage Matrix CI


  • SecLib
    • SecLib.LatticeLH
    • SecLib.Trustworthy
    • SecLib.Untrustworthy


Maintainer's Corner

For package maintainers and hackage trustees