A secure compiler for session abstractions. / Corin, R.; Deniélou, P.-M.; Fournet, C.; Bhargavan, K.; Leifer, J.

In: Journal of Computer Security, Vol. 16, No. 5, 01.01.2008, p. 573-636.

Research output: Contribution to journalArticle

Published
Original languageEnglish
Pages (from-to)573-636
Number of pages64
JournalJournal of Computer Security
Volume16
Issue number5
DOIs
Publication statusPublished - 1 Jan 2008
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7670317