Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Security packages

Showing projects tagged as Security

  • lio

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

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

    6.8 0.0 Isabelle
    Automatic generation of Isabelle/HOL correctness proofs for security protocols.
  • credentials

    6.5 0.0 Haskell
    Secure Credentials Storage and Distribution
  • Capabilities

    6.1 0.3 Haskell
    Separate and contain effects of IO monad.
  • faceted

    5.4 0.0 Haskell
    Faceted computation for dynamic information flow security
  • dewdrop

    4.2 0.0 Haskell
    Find gadgets for return-oriented programming on x86
  • lmonad

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

    1.8 0.0 Haskell
    Bindings to liboath
  • otp-authenticator

    1.1 0.0 Haskell
    OTP Authenticator (a la google) command line client
  • paphragen

    0.8 0.0 Haskell
    A passphrase generator.
  • TransformeR

    - -
    eDSL in R for Safe Variable Transformarion