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


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


Maintainer's Corner

For package maintainers and hackage trustees