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 journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 573-636 |
Number of pages | 64 |
Journal | Journal of Computer Security |
Volume | 16 |
Issue number | 5 |
DOIs | |
Publication status | Published - 1 Jan 2008 |
ID: 7670317