Modular verification of security protocol code by typing. (2010)

by K Bhargavan, C Fournet, A D Gordon
Venue:In ACM Symposium on Principles of Programming Languages (POPL’10),