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 |