The scyther-proof package

[Tags: gpl, program]

scyther-proof is a security protocol verification tool based on a similar algorithm as the Scyther tool developed by Cas Cremers (http:people.inf.ethz.chcremerscscyther/index.html). The theory underlying scyther-proof is described in the paper Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs by Meier, Cremers, and Basin. Parts of the infrastructure underlying scyther-proof are reused in other projects by the same author. Therefore, most of its modules are exported in the corresponding scyther-proof library. However, this library is not yet thought for general use. Please contact the author, if you would like to build upon/extend scyther-proof.


Versions0.3.0, 0.3.1, 0.4.0,,,,,,
Change logNone available
Dependenciesarray (==0.3.*), base (==4.*), cmdargs (>=0.6.8 && <0.7), containers (>=0.3 && <0.5), directory (>=1.0 && <1.2), filepath (>=1.1 && <1.3), json (==0.4.*), mtl (==2.0.*), parsec (==3.1.*), pretty (==1.0.*), process (==1.0.*), safe (==0.2.*), tagsoup (==0.12.*), time (>=1.1 && <1.3), uniplate (==1.6.*)
CopyrightSimon Meier, ETH Zurich, 2009-2011
AuthorSimon Meier <>
MaintainerSimon Meier <>
CategorySecurity, Theorem Provers
Home page
UploadedFri May 13 18:37:08 UTC 2011 by SimonMeier
Downloads1072 total (89 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]




threadedBuild with support for multithreaded executionEnabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees