Ricardo Corin Pierre-Malo Deniélou Cédric Fournet Karthikeyan Bhargavan James J. Leifer Secure Implementations for Typed Session Abstractions. 170-186 2007 CSF http://dx.doi.org/10.1109/CSF.2007.29 conf/csfw/2007 db/conf/csfw/csf2007.html#CorinDFBL07