A protocol compiler for secure sessions in ML

Ricardo Corin, Pierre-Malo Denielou

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

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

Cite this