| 2008 |
|---|
| 4 | EE | Ricardo Corin,
Pierre-Malo Deniélou,
Cédric Fournet,
Karthikeyan Bhargavan,
James J. Leifer:
A secure compiler for session abstractions.
Journal of Computer Security 16(5): 573-636 (2008) |
| 2007 |
|---|
| 3 | EE | Ricardo Corin,
Pierre-Malo Deniélou,
Cédric Fournet,
Karthikeyan Bhargavan,
James J. Leifer:
Secure Implementations for Typed Session Abstractions.
CSF 2007: 170-186 |
| 2 | EE | Ricardo Corin,
Pierre-Malo Deniélou:
A Protocol Compiler for Secure Sessions in ML.
TGC 2007: 276-293 |
| 2006 |
|---|
| 1 | EE | Pierre-Malo Deniélou,
James J. Leifer:
Abstraction preservation and subtyping in distributed languages.
ICFP 2006: 286-297 |
