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
Published
| 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 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 7670317