Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon. Cryptographic Verification by Typing for a Sample Protocol Implementation. In Alessandro Aldini, Roberto Gorrieri, editors, Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures. Volume 6858 of Lecture Notes in Computer Science, pages 66-100, Springer, 2010. [doi]
Abstract is missing.