An Operational Semantics of the Java Card Firewall. - Marc Éluard; Thomas P. Jensen; Ewen Denney (E-smart, 2001)

Secure Object Flow Analysis for Java Card. - Marc Éluard; Thomas P. Jensen (CARDIS, 2002)

Validation du contrôle d'accès dans des cartes à puce multiapplications. - Marc Éluard; Thomas P. Jensen (Tech. Sci. Informatiques, 2004)

SmartPro: A Smart Card Based Digital Content Protection for Professional Workflow. - Alain Durand; Marc Éluard; Sylvain Lelievre; Christophe Vincent (CARDIS, 2008)

Impact of geometry-preserving encryption on rendering time. - Marc Éluard; Yves Maetz; Gwenaël J. Doërr (ICIP, 2014)