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