10

8

6

4

2


9.0

4.3
lio

8.3
0.0

6.3
0.0

5.8
0.0

3.7
1.4
1.9

6.9

7 Security packages and projects

  • lio

    9.0 4.3 Haskell
    Labeled IO Information Flow Control Library
  • lio-fs

    8.3 0.0 Haskell
    Labeled File System interface for LIO
  • scyther-proof

    6.3 0.0 Isabelle
    Automatic generation of Isabelle/HOL correctness proofs for security protocols.
  • faceted

    5.8 0.0 Haskell
    Faceted computation for dynamic information flow security
  • lmonad

    3.7 1.4 Haskell
    LMonad is an Information Flow Control (IFC) framework for Haskell applications.
  • liboath-hs

    1.9 6.9 Haskell
    Bindings to liboath
  • paphragen

    0.8 0.9 Haskell
    A passphrase generator.

Add another 'Security' Package