Take the 2-minute tour ×  I want a tool that (runs on Win7 and)
can perform automated verification of a protocol in the eCK
security model as described in Microsoft Research's paper
"Stronger Security of Authenticated Key Exchange".  Does anyone
know such a tool?  share|improve this question  4 Answers 4  up
vote 5 down vote accepted  Just wrapping my comment into an
answer as it seems to be what you're looking for…  CryptoVerif
can be used for verification of security against polynomial time
adversaries in the computational model. It's available via http:
//prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptov
erifbin.html  Related to your "it doesn't work on my computer",
here's an example how to test if it works (which it will on Win7
- which you previously wrote you're using):    1. create c:\cv\
and decompress the contents of the downloaded package in there.
2. Open a command-line prompt and go to c:\cv\ where the
cryptoverif.exe resides.   3. Run cryptoverif.exe
c:\cv\examples\fdh.cv  As for yo