"Modular verification of security protocol code by typing."

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics