Links

ProVerif Automatic protocol verifier. Protocols can be specified in applied pi-calculus like syntax.
StatVerif Automatic verifier for Stateful protocols. Protocols can be specified in applied pi-calculus like syntax.
Osmocom-BB Opensource implementation of the GSM protocol stack
CCC Computer Chaos Conference