Cooperative Projects

To see current projects, click here.

Past Projects

COMPLETED IN 2008

€-CONFIDENTIAL
Security architecture and tools to establish confidence in PCs and personal systems, based on a secure operating system.
Eureka / ITEA Program (Information Technology for European Advancement)
Partners: a consortium of 19 partners including EADS (coord.)

MESURE
Benchmarking Java Card™ platforms
French Program Réseau National des Technologies Logicielles (RNTL)
Partners: CNAM-CEDRIC (coord.), RD2P (Lille Univ.).

S3MS
Framework for secure deployment and execution of mobile applications based on execution and verification of execution contracts.
European IST program, 6th framework, STREP
Partners: a consortium of 13 partners, including Università di Trento, Italy (coord.)

COMPLETED IN 2007

VINSI
Secure and nomadic verification for digital identity (Vérification d'Identité Numérique Sécurisée et Itinérante)
French Program, OPPIDUM
Partners: THALES e-Transactions (coord.), TSS, GET/ENST.

COMPLETED IN 2006

GST
Global System for Telematics enabling on-line safety services
European IST Program, 6th Framework Integrated Project
Partners: a consortium of 49 partners including all major European car makers, coord.: ERTICO (European Road Transport Telematics Implementation Coordination Organisation).
See also: www.gstforum.org

RESODO
Home network security; use of high speed access and of wireless connections.
French Program, Réseau National de Recherche en Télécommunications (RNRT)
Partners: France Télécom (coord.), Trialog, Everbee, ENST/GET.

COMPLETED IN 2005

EDEN
Development and Formal Validation in the scope of a high-level Common Criteria Evaluation
French Program Réseau National des Technologies Logicielles (RNTL)
Partners: Axalto, CEA-List, CEA-LETI, Verimag (Univ. J.Fourier, CNRS).
Coordinator: Trusted Logic.

FORMAVIE 2
Evaluation and certification project around multi-application smart card platforms
French Program OPPIDUM
Partners: Axalto (coord.), STMicroelectronics, CEA-LETI.

MOWGLI
Mathematics On the Web: Get it by Logics and Interfaces
European IST Program, 5th Framework
Partners: Bologna Univ. (coord., IT), INRIA (FR), German Center for Artificial Intelligence (GE), Katholieke Univ. Nijmegen (NL), Max Planck Gesellshaft (GE).
See also: www.mowgli.cs.unibo.it

COMPLETED IN 2004

EsP@ss-IS
Enhanced Smartcard Platform for Accessing Securely Services of the Information Society
Eureka / MEDEA+ Program (Microelectronics Development for European Applications)
Partners: STMicroelectronics(coord., FR), Axalto (FR), Philips (NL), TIM (IT), LETI-CEA (FR), Thomson MultiMedia (FR), Interpay (NL), INPG-IMA (FR), Smartrust (FN).

ISIA 2
Security aspects of the ISIA project (Inter-sector Secure Interoperable Applicances)
French Program OPPIDUM
Partners: THALES e-Transactions (coord.), Gemplus, ATMEL, THALES Microelectronics, TIMA (Univ. J. Fourier, CNRS), L2MP (Univ. de Provence)

VERIFICARD
Tool-assisted Specification and Verification of Java Card Programs
European IST Program, 5th Framework
Partners: Katholieke Univ. Nijmegen (coord, NL), INRIA (FR), T.U. of Münich (GE), Hagen Univ. (GE), Swedish Inst. of Computer Science (SW), Gemplus (FR), Axalto (FR).
Trusted Logic is a member of the End-User Panel, see also www.verificard.org.

COMPLETED IN 2003

EVA
Automatic verification and explanation of cryptographic protocols
French Program Réseau National des Technologies Logicielles (RNTL)
Partners: ENS Cachan / LSV, Verimag (Univ. J.Fourier, CNRS).
Coordinator: Trusted Logic.

SECSAFE
SECure and SAFE systems based on static analysis
European IST Program, 5th Framework
Partners: Imperial College (coord., London, UK), Univ. of Aarhus (DK), IRISA (FR).
Future and Emerging Technologies project
See also: www.doc.ic.ac.uk/~siveroni/secsafe

COMPLETED IN 2002

e-PASTA
e-Protection of Appliances through Secure and Trusted Access
European IST Program, 5th Framework
Partners: Trialog (coord., Paris, FR), T-Nova (GE), Merloni (IT), Wrap (IT).

TASSC
Transactional Added-value Services with Smart Cards
Eureka / ITEA Program (Information Technology for European Advancement)
Partners: Axalto (coord., FR), Oberthur (FR), Philips (NL), TIM (IT), TiLab (IT), Banksys (BE), ENST (FR).

To see current projects, click here

Back to the top