Modular verification of security protocol code by typing.

Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon

Browse the full POPL paper archive.