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.*), 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
UploadedTue Oct 18 14:08:48 UTC 2011 by SimonMeier
Downloads1072 total (88 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-06-07 [all 2 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