A protocol compiler for secure sessions in ML

Ricardo Corin, Pierre-Malo Denielou

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

Original language	English
Title of host publication	TRUSTWORTHY GLOBAL COMPUTING
Editors	G Barthe, C Fournet
Place of Publication	BERLIN
Publisher	SPRINGER-VERLAG BERLIN
Pages	276-293
Number of pages	18
ISBN (Print)	978-3-540-78662-7
DOIs	https://doi.org/10.1007/978-3-540-78663-4_19
Publication status	Published - 2008
Event	3rd International Symposium on Trustworthy Global Computing - Sophia Antipolis Duration: 5 Nov 2007 → 6 Nov 2007

Conference	3rd International Symposium on Trustworthy Global Computing
City	Sophia Antipolis
Period	5/11/07 → 6/11/07

Access to Document

@inproceedings{e99c8ecfa317451d8691ca2a5867299d,

title = "A protocol compiler for secure sessions in ML",

author = "Ricardo Corin and Pierre-Malo Denielou",

year = "2008",

doi = "10.1007/978-3-540-78663-4_19",

language = "English",

isbn = "978-3-540-78662-7",

pages = "276--293",

editor = "G Barthe and C Fournet",

booktitle = "TRUSTWORTHY GLOBAL COMPUTING",

publisher = "SPRINGER-VERLAG BERLIN",

note = "3rd International Symposium on Trustworthy Global Computing ; Conference date: 05-11-2007 Through 06-11-2007",

}

TY - GEN

T1 - A protocol compiler for secure sessions in ML

AU - Corin, Ricardo

AU - Denielou, Pierre-Malo

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-540-78663-4_19

DO - 10.1007/978-3-540-78663-4_19

M3 - Conference contribution

SN - 978-3-540-78662-7

SP - 276

EP - 293

BT - TRUSTWORTHY GLOBAL COMPUTING

A2 - Barthe, G

A2 - Fournet, C

PB - SPRINGER-VERLAG BERLIN

CY - BERLIN

T2 - 3rd International Symposium on Trustworthy Global Computing

Y2 - 5 November 2007 through 6 November 2007

ER -