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

[ bsd3, library, security ] [ Propose Tags ]
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 3033 total (39 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

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.


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


Maintainer's Corner

For package maintainers and hackage trustees