This paper is a state of the art review of the use of formal methods in the design of cryptographic protocols.
Eugen Brühwiler, Numa Joy Bertola, Ngoc Thanh Trinh, Enrique García
Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Dragos-Adrian Seredinschi