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
Original languageEnglish
Title of host publicationTRUSTWORTHY GLOBAL COMPUTING
EditorsG Barthe, C Fournet
Place of PublicationBERLIN
PublisherSPRINGER-VERLAG BERLIN
Pages276-293
Number of pages18
ISBN (Print)978-3-540-78662-7
DOIs
Publication statusPublished - 2008
Event3rd International Symposium on Trustworthy Global Computing - Sophia Antipolis
Duration: 5 Nov 20076 Nov 2007

Conference

Conference3rd International Symposium on Trustworthy Global Computing
CitySophia Antipolis
Period5/11/076/11/07
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7670090