A secure compiler for session abstractions

R. Corin; P.-M. Deniélou; C. Fournet; K. Bhargavan; J. Leifer

doi:10.3233/JCS-2008-0334

A secure compiler for session abstractions

R. Corin
, P.-M. Deniélou
, C. Fournet
, K. Bhargavan
, J. Leifer

Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	573-636
Number of pages	64
Journal	Journal of Computer Security
Volume	16
Issue number	5
DOIs	https://doi.org/10.3233/JCS-2008-0334
Publication status	Published - 1 Jan 2008

Access to Document

10.3233/JCS-2008-0334

http://iospress.metapress.com/content/l80347r033nm0032/?issue=5&genre=article&spage=573&issn=0926-227X&volume=16

Cite this

@article{26f714d75a3b46d29e391e41ec3da510,

title = "A secure compiler for session abstractions",

author = "R. Corin and P.-M. Deni{\'e}lou and C. Fournet and K. Bhargavan and J. Leifer",

year = "2008",

month = jan,

day = "1",

doi = "10.3233/JCS-2008-0334",

language = "English",

volume = "16",

pages = "573--636",

journal = "Journal of Computer Security",

issn = "0926-227X",

publisher = "SAGE Publications Ltd",

number = "5",

}

TY - JOUR

T1 - A secure compiler for session abstractions

AU - Corin, R.

AU - Deniélou, P.-M.

AU - Fournet, C.

AU - Bhargavan, K.

AU - Leifer, J.

PY - 2008/1/1

Y1 - 2008/1/1

UR - https://www.scopus.com/pages/publications/54349096804

U2 - 10.3233/JCS-2008-0334

DO - 10.3233/JCS-2008-0334

M3 - Article

AN - SCOPUS:54349096804

SN - 0926-227X

VL - 16

SP - 573

EP - 636

JO - Journal of Computer Security

JF - Journal of Computer Security

IS - 5

ER -

A secure compiler for session abstractions

Access to Document

Other files and links

Cite this