 | 2012 |
|---|
| 10 |       | Pierre-Malo Deniélou,
Nobuko Yoshida:
Multiparty Session Types Meet Communicating Automata.
ESOP 2012: 194-213 |
| 2011 |
|---|
| 9 | | Pierre-Malo Deniélou,
Nobuko Yoshida:
Dynamic multirole session types.
POPL 2011: 435-446 |
| 2010 |
|---|
| 8 | | Pierre-Malo Deniélou,
Nobuko Yoshida:
Buffered Communication Analysis in Distributed Multiparty Sessions.
CONCUR 2010: 343-357 |
| 7 | | Nobuko Yoshida,
Pierre-Malo Deniélou,
Andi Bejleri,
Raymond Hu:
Parameterised Multiparty Session Types.
FOSSACS 2010: 128-145 |
| 6 | | Nuno Alves,
Raymond Hu,
Nobuko Yoshida,
Pierre-Malo Deniélou:
Secure Execution of Distributed Session Programs
PLACES 2010: 1-11 |
| 2009 |
|---|
| 5 | | Karthikeyan Bhargavan,
Ricardo Corin,
Pierre-Malo Deniélou,
Cédric Fournet,
James J. Leifer:
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions.
CSF 2009: 124-140 |
| 2008 |
|---|
| 4 | | 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 | | 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 | | Ricardo Corin,
Pierre-Malo Deniélou:
A Protocol Compiler for Secure Sessions in ML.
TGC 2007: 276-293 |
| 2006 |
|---|
| 1 | | Pierre-Malo Deniélou,
James J. Leifer:
Abstraction preservation and subtyping in distributed languages.
ICFP 2006: 286-297 |
Data released under the ODC-BY 1.0 license — See also our legal information page