The aim of this project is to design a graphical application that can be used to (i) learn about cryptographic protocols, (ii) design and analyse cryptographic protocols.