A protocol compiler for secure sessions in ML. / Corin, Ricardo; Denielou, Pierre-Malo.

TRUSTWORTHY GLOBAL COMPUTING. ed. / G Barthe; C Fournet. BERLIN : SPRINGER-VERLAG BERLIN, 2008. p. 276-293.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

A protocol compiler for secure sessions in ML. / Corin, Ricardo; Denielou, Pierre-Malo.

TRUSTWORTHY GLOBAL COMPUTING. ed. / G Barthe; C Fournet. BERLIN : SPRINGER-VERLAG BERLIN, 2008. p. 276-293.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Corin, R & Denielou, P-M 2008, A protocol compiler for secure sessions in ML. in G Barthe & C Fournet (eds), TRUSTWORTHY GLOBAL COMPUTING. SPRINGER-VERLAG BERLIN, BERLIN, pp. 276-293, 3rd International Symposium on Trustworthy Global Computing, Sophia Antipolis, 5/11/07. https://doi.org/10.1007/978-3-540-78663-4_19

APA

Corin, R., & Denielou, P-M. (2008). A protocol compiler for secure sessions in ML. In G. Barthe, & C. Fournet (Eds.), TRUSTWORTHY GLOBAL COMPUTING (pp. 276-293). SPRINGER-VERLAG BERLIN. https://doi.org/10.1007/978-3-540-78663-4_19

Vancouver

Corin R, Denielou P-M. A protocol compiler for secure sessions in ML. In Barthe G, Fournet C, editors, TRUSTWORTHY GLOBAL COMPUTING. BERLIN: SPRINGER-VERLAG BERLIN. 2008. p. 276-293 https://doi.org/10.1007/978-3-540-78663-4_19

Author

Corin, Ricardo ; Denielou, Pierre-Malo. / A protocol compiler for secure sessions in ML. TRUSTWORTHY GLOBAL COMPUTING. editor / G Barthe ; C Fournet. BERLIN : SPRINGER-VERLAG BERLIN, 2008. pp. 276-293

BibTeX

@inproceedings{e99c8ecfa317451d8691ca2a5867299d,
title = "A protocol compiler for secure sessions in ML",
author = "Ricardo Corin and Pierre-Malo Denielou",
year = "2008",
doi = "http://dx.doi.org/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",

}

RIS

TY - GEN

T1 - A protocol compiler for secure sessions in ML

AU - Corin, Ricardo

AU - Denielou, Pierre-Malo

PY - 2008

Y1 - 2008

U2 - http://dx.doi.org/10.1007/978-3-540-78663-4_19

DO - http://dx.doi.org/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 -