Ricardo Corin Pierre-Malo Deniélou Cédric Fournet Karthikeyan Bhargavan James J. Leifer A secure compiler for session abstractions. 573-636 2008 16 Journal of Computer Security 5 http://dx.doi.org/10.3233/JCS-2008-0334 db/journals/jcs/jcs16.html#CorinDFBL08