Publications

Eric Vétillard - Trusted Labs CTO - becomes technical chairman of Java Card Forum
In the press:
New Technical Chairman Assumes His Post At The Java Card Forum, Card Technology, January 3rd, 2007
 
TL SET - Support for Common Criteria
In the press:
Smart Card News, volume 13 - number 11, November 2004

Trusted Logic's approach to Security for Embedded Systems: Innovation and Pragmatism.
D. Bolignano, D. Le Métayer, C. Loiseaux

ERCIM News N°49, April 2002.
Formal Methods in Context : Security and Java Card.
D. Bolignano, D. Le Métayer, C. Loiseaux

Proceedings of the 1st International Workshop Java Card 2000,
LNCS 2041, pp. 1-5, I. Attali & T. Jensen (Eds.), Springer-Verlag 2001. Besoins en méthodes formelles dans le contexte de la sécurité des systèmes d'information.
D. Bolignano, D. Le Métayer, C. Loiseaux

TSI, numéro spécial "Approches Formelles pour l'Aide au Développement de Logiciels",
Volume 20, numéro 7, octobre 2001. Formal Methods in Practice : the missing links.
D. Bolignano, D. Le Métayer, C. Loiseaux

Proceedings of the MOVEP'2000 Conference,
Springer-Verlag. Model checking security properties of control flow graphs.
F. Besson, T. Jensen, D. Le Métayer, T. Thorn

Journal of Computer Security, Vol. 9, 2001, pp. 217-250. On-card bytecode verification for Java Card.
X. Leroy

Proceedings of the EUROSMART 2001 Conference,
Springer-Verlag.

Back to the top