| |
| 2008 | ||
|---|---|---|
| 3 | EE | Myrto Arapinis, Stéphanie Delaune, Steve Kremer: From One Session to Many: Dynamic Tags for Security Protocols. LPAR 2008: 128-142 |
| 2007 | ||
| 2 | EE | Myrto Arapinis, Marie Duflot: Bounding Messages for Free in Security Protocols. FSTTCS 2007: 376-387 |
| 2003 | ||
| 1 | Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski: Semantics of Minimally Synchronous Parallel ML. SNPD 2003: 260-267 | |
| 1 | Frédéric Dabrowski | [1] |
| 2 | Stéphanie Delaune | [3] |
| 3 | Marie Duflot | [2] |
| 4 | Frédéric Gava | [1] |
| 5 | Steve Kremer | [3] |
| 6 | Frédéric Loulergue | [1] |