Welcome to the homepage of spyer; the cryptographic protocol compiler. spyer is a tool that compiles a protocol narration in a spi calculus system that can be used with sbc (the spi bisimulation checker).
You can download here the current distribution of spyer. You will need OCaml in order to compile spyer. spyer should work on any good linux distribution. It should work also under the Cygwin environment and might work on MacOS X (provided that OCaml is present).
The User's Guide of spyer can be found in Postscript or PDF. You can browse here the examples that you can also find in the distribution.
Finally, feel free to get in touch with me if you have any comments/suggestions/whatever.