The scyther-proof package

[Tags: gpl, program]

scyther-proof is a security protocol verification tool based on an algorithm similar to the Scyther tool developed by Cas Cremers ( 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 available from

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 logCHANGES
Dependenciesarray (>=0.3 && <0.5), base (==4.*), cmdargs (>=0.6.8 && <0.7), containers (>=0.4.2 && <0.5), directory (>=1.0 && <1.3), filepath (>=1.2 && <1.4), json (==0.5.*), mtl (==2.0.*), parsec (==3.1.*), pretty (==1.0.*), process (==1.1.*), safe (>=0.2 && <0.4), 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 11 17:43:23 UTC 2012 by SimonMeier
Downloads1050 total (67 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-06-07 [all 1 reports]


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