 |
Publications |
In the press:
Gemalto prepares a super SIM card for mobile phones
Trusted Logic coordinates the definition of a secure architecture for
mobile devices in the MaXSSIMM project. This project - backed by
France's Agency for Industrial Innovation and labelled by the SCS
Competitiveness Cluster - aims to create a secure architecture for
Internet Multimedia on mobile phones.
VIPress.net, February 9, 2007 (in French)
In the press:
New Technical Chairman Assumes His Post At The Java Card Forum
Eric Vétillard - Trusted Labs CTO - is elected Technical Chairman of the Java Card Forum.
Card Technology, January 3rd, 2007
In the press:
Java Card goes contactless
Trusted Logic shows contactless Java Cards matching performance of native products.
Java World, November 28, 2005
In the press:
Intel, partners put their trust in Bulverde for secure mobile transactions
EET.com, February 15, 2005
In the press:
E-Ticketing is going the Java Way
JC. Pellicer
SECURE Magazine (an Infineon Technologies publication),
issue 1/2005
Trusted Computing in Linux: status
A. Apvrille, M. Pourzandi
Linux World magazine, Vol. 2, No. 12, December 2004
Verification of cryptographic protocols implemented in Java Card
D. Le Métayer, R. Marlet - Proceedings of the e-Smart conference (e-Smart 2003), September 2003.
Automated enforcement of portability and security policies
R. Marlet, E. Vétillard - Proceedings of the e-Smart conference (e-Smart 2003), September 2003.
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, Springer-Verlag 2001.
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
