Secure implementations for typed session abstractions

Ricardo Corin, Pierre-Malo Denielou, Cedric Fournet, Karthikeyan Bhargavan, James Leifer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	20th IEEE Computer Security Foundations Symposium (CSFS20), Proceedings
Place of Publication	LOS ALAMITOS
Publisher	IEEE COMPUTER SOC
Pages	170-186
Number of pages	17
ISBN (Print)	978-0-7695-2819-9
DOIs	https://doi.org/10.1109/CSF.2007.29
Publication status	Published - 2007
Event	20th Computer Security Foundation Symposium (CSFS 20) - Venice Duration: 6 Jul 2007 → 8 Jul 2007

Conference	20th Computer Security Foundation Symposium (CSFS 20)
City	Venice
Period	6/07/07 → 8/07/07

Access to Document

@inproceedings{0dfaa833af6a4032953dbd3f6fdd23a2,

title = "Secure implementations for typed session abstractions",

author = "Ricardo Corin and Pierre-Malo Denielou and Cedric Fournet and Karthikeyan Bhargavan and James Leifer",

year = "2007",

doi = "10.1109/CSF.2007.29",

language = "English",

isbn = "978-0-7695-2819-9",

pages = "170--186",

booktitle = "20th IEEE Computer Security Foundations Symposium (CSFS20), Proceedings",

publisher = "IEEE COMPUTER SOC",

note = "20th Computer Security Foundation Symposium (CSFS 20) ; Conference date: 06-07-2007 Through 08-07-2007",

}

TY - GEN

T1 - Secure implementations for typed session abstractions

AU - Corin, Ricardo

AU - Denielou, Pierre-Malo

AU - Fournet, Cedric

AU - Bhargavan, Karthikeyan

AU - Leifer, James

PY - 2007

Y1 - 2007

U2 - 10.1109/CSF.2007.29

DO - 10.1109/CSF.2007.29

M3 - Conference contribution

SN - 978-0-7695-2819-9

SP - 170

EP - 186

BT - 20th IEEE Computer Security Foundations Symposium (CSFS20), Proceedings

PB - IEEE COMPUTER SOC

CY - LOS ALAMITOS

T2 - 20th Computer Security Foundation Symposium (CSFS 20)

Y2 - 6 July 2007 through 8 July 2007

ER -