A secure compiler for session abstractions

R. Corin, P.-M. Deniélou, C. Fournet, K. Bhargavan, J. Leifer

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)573-636
Number of pages64
JournalJournal of Computer Security
Volume16
Issue number5
DOIs
Publication statusPublished - 1 Jan 2008

Cite this