| 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 |
A secure compiler for session abstractions
R. Corin, P.-M. Deniélou, C. Fournet, K. Bhargavan, J. Leifer
Research output: Contribution to journal › Article › peer-review