Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer. A secure compiler for session abstractions. Journal of Computer Security, 16(5):573-636, 2008. [doi]
@article{CorinDFBL08,
title = {A secure compiler for session abstractions},
author = {Ricardo Corin and Pierre-Malo Deniélou and Cédric Fournet and Karthikeyan Bhargavan and James J. Leifer},
year = {2008},
doi = {10.3233/JCS-2008-0334},
url = {http://dx.doi.org/10.3233/JCS-2008-0334},
tags = {compiler, abstraction},
researchr = {https://researchr.org/publication/CorinDFBL08},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {16},
number = {5},
pages = {573-636},
}