scyther-proof: Automatic generation of Isabelle/HOL correctness proofs for security protocols.
scyther-proof is a security protocol verification tool based on an algorithm similar to the Scyther tool developed by Cas Cremers (http://people.inf.ethz.ch/cremersc/scyther/index.html). The theory underlying scyther-proof is described in the 2013 Journal of Computer Security paper "Efficient Construction of Machine-Checked Protocol Security Proofs" by Meier, Cremers, and Basin available from https://github.com/meiersi/scyther-proof/tree/master/publications.
[Skip to Readme]
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
threaded | Build with support for multithreaded execution | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- scyther-proof-0.10.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.3.0, 0.3.1, 0.4.0, 0.4.1.0, 0.5.0.0, 0.6.0.0, 0.8.0.0, 0.10.0.0, 0.10.0.1 |
---|---|
Change log | CHANGES |
Dependencies | array (>=0.3 && <0.6), base (>=4 && <5), cmdargs (>=0.10.7), containers (>=0.4.2 && <0.6), directory (>=1.0 && <1.3), filepath (>=1.2 && <1.5), json (>=0.5 && <0.10), mtl (>=2.1 && <3.0), parsec (>=3.1 && <3.2), pretty (>=1.0 && <1.2), process (>=1.1 && <1.3), safe (>=0.2 && <0.4), tagsoup (>=0.12 && <0.14), time (>=1.1 && <1.6), uniplate (>=1.6 && <1.7), utf8-string (>=0.3.7) [details] |
License | LicenseRef-GPL |
Copyright | Simon Meier, Andreas Lochbihler, ETH Zurich, 2009-2013 |
Author | Simon Meier <iridcode@gmail.com>, Andreas Lochbihler <andreas.lochbihler@inf.ethz.ch> |
Maintainer | Simon Meier <iridcode@gmail.com> |
Category | Security, Theorem Provers |
Source repo | head: git clone https://github.com/meiersi/scyther-proof.git |
Uploaded | by SimonMeier at 2015-06-21T10:06:00Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | scyther-proof |
Downloads | 6619 total (12 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] Last success reported on 2015-11-13 [all 7 reports] |