There are some interesting materials: - [Sergiu Bursuc](http://www.bris.ac.uk/engineering/people/sergiu-bursuc/index.html)'s [material](https://www.frisc.no/wp-content/uploads/2015/05/finse-slides-sergiu.pdf) from Finse provides a good overview. - [Formal Models and Techniques for Analyzing Security Protocols: A Tutorial](http://www.nowpublishers.com/article/Details/PGL-001) - [Formal Security Proofs](http://www.lsv.ens-cachan.fr/~delaune/mes-publis.php?onlykey=CD-nato12) - [Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif](http://www.nowpublishers.com/article/Details/SEC-004)
