| 2008 | ||
|---|---|---|
| 4 | Alain Durand, Marc Éluard, Sylvain Lelievre, Christophe Vincent: SmartPro: A Smart Card Based Digital Content Protection for Professional Workflow. CARDIS 2008: 255-266 | |
| 2004 | ||
| 3 | Marc Éluard, Thomas P. Jensen: Validation du contrôle d'accès dans des cartes à puce multiapplications. Technique et Science Informatiques 23(3): 323-357 (2004) | |
| 2002 | ||
| 2 | Marc Éluard, Thomas P. Jensen: Secure Object Flow Analysis for Java Card. CARDIS 2002: 97-110 | |
| 2001 | ||
| 1 | Marc Éluard, Thomas P. Jensen, Ewen Denney: An Operational Semantics of the Java Card Firewall. E-smart 2001: 95-110 | |
| 1 | Ewen Denney | [1] |
| 2 | Alain Durand | [4] |
| 3 | Thomas P. Jensen | [1] [2] [3] |
| 4 | Sylvain Lelievre | [4] |
| 5 | Christophe Vincent | [4] |