The seclib package

[Tags:bsd3, library]

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 BSD3
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 >
Stability experimental
Category Security
Source repository head: git clone
Uploaded Sun Jun 26 16:34:03 UTC 2011 by AlejandroRusso
Distributions NixOS:
Downloads 1486 total (31 in the last 30 days)
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-24 [all 5 reports]


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


Maintainer's Corner

For package maintainers and hackage trustees