Automatic generation of Isabelle/HOL correctness proofs for security protocols.

scyther-proof alternatives and similar packages

Based on the "Security" category

• lio

  8.9 0.0 scyther-proof VS lio

  Labeled IO Information Flow Control Library

• lio-fs

  8.2 0.0 scyther-proof VS lio-fs

  Labeled File System interface for LIO

• faceted

  5.0 0.0 scyther-proof VS faceted

  Faceted computation for dynamic information flow security

• lmonad

  4.0 0.0 scyther-proof VS lmonad

  LMonad is an Information Flow Control (IFC) framework for Haskell applications.

• planb-token-introspection

  4.0 0.0 scyther-proof VS planb-token-introspection

  Token Introspection for PlanB

• smith-cli

  3.8 2.6 scyther-proof VS smith-cli

  Command line tool for <https

• liboath-hs

  3.4 0.0 scyther-proof VS liboath-hs

  Bindings to liboath

• openssh-protocol

  2.4 0.3 scyther-proof VS openssh-protocol

  Haskell implementation of openssh protocol primitives.

• smith-client

  2.0 0.3 scyther-proof VS smith-client

  API client for <https

• passman

  1.4 0.0 scyther-proof VS passman

  a simple password manager

• paphragen

  1.1 0.0 scyther-proof VS paphragen

  A passphrase generator.

Do you think we are missing an alternative of scyther-proof or a related project?

Add another 'Security' Package