Postdoctoral position CNRS - LaBRI Modeling and implementati

Les annonces, les colloques, les postes, ...

Modérateur : kaiser

Répondre
kaiser
Messages : 323
Inscription : 03 nov. 2004 17:40

Postdoctoral position CNRS - LaBRI Modeling and implementati

Message par kaiser » 02 août 2008 21:31

Date : 31 juillet 2008 11:53:42 HAEC
De : damien.sauveron@xlim.fr
Objet : [asr-forum] Postdoctoral position: Modeling and implementation of attacks and counter-measures in a Java Card framework
À : asr-forum@cines.fr


-----------------------------------------------------------------------------
Modeling and implementation of attacks and counter-measures in the
JCatools smart card (Java Card) framework.

Post-Doctoral position CNRS - LaBRI - Bordeaux 1 University - France
16 months
Begins: asap
Application deadline: asap

-----------------------------------------------------------------------------

This post-doctoral position deals with the security of smart
cards. The work shall be focused on the software framework JCaTools, a
Java Card virtual machine emulator, developed and maintained by the SOD
team of the LaBRI.

This environment and the associated tools have already made it possible
to design and experiment validation processes for Java Card software. In
particular, it brings a friendly mean to simulate and analyse high level
sofware attacks. In this way it supports the evaluation processes based
on Common Criteria and ITSec for Java Card platforms and applets.

The research work of this post-doctoral position shall follow several
directions:

- Upgrading of the environment using plugins for supporting new
generation smart cards.
- Applying formal methods (JML) in JCaTools for the software validation (here
also plugins will be designed).
- The design, the simulation in JCaTools, and the implementation of
high level software attacks and of associated counter-measures.

This investigation shall be carried out in the framework of Java Cards
but shall also be concerned with an architecture based on resource
externalisation (memory and executable code) in study at the LaBRI.

The work shall be done in collaboration between SOD team and Formal
Methods team at LaBRI.

Skill demanded: Smart Card, JavaCard, Java, Formal Methods (JML, etc)

Contacts :
Serge Chaumette [chaumett@labri.fr]
Olivier Ly [ly@labri.fr]
----------------------------------------------------------------------------------------------------------------------------------------------------------
Modélisation et mise en oeuvre d'attaques et de contre-mesures dans
l'environnement cartes à puces (Java Card) JCaTools.

Stage Post-Doctoral CNRS - LaBRI - Université Bordeaux 1 - France
Durée : 16 mois
Démarrage : le plus tot possible
Date limite de candidature : le plus tot possible

-----------------------------------------------------------------------------

Le thème de ce stage post-doctoral est la sécurité des cartes à puce
Java Card. Il s'appuiera principalement sur l'environnement logiciel
JCaTools, émulateur de machine virtuelle Java Card développé et
maintenu par l'équipe SOD du LaBRI.

Cet émulateur et les outils associés ont permis d'expérimenter des
processus de test et de validation de codes Java Card. En particulier
il offre un moyen pratique de simuler des attaques logicielles de haut
niveau. Il vient ainsi en appui des méthodologies d'évaluation
Critères Communs et ITSEC de plates-formes et d'applets Java Card.

Les travaux de recherche de ce stage post-doctoral consisteront en :

- L'amélioration de l'émulateur au moyen de plugins permettant de
supporter des cartes ayant des caractéristiques différentes.
- L' application de méthodes formelles (JML) dans le cadre de JCaTool
(la aussi des plugins seront créés) pour la validation des codes émulés.
- L'élaboration, la simulation dans JCaTool, et la mise en oeuvre
d'attaques logicielles de haut niveau et de contre-mesures associées.

Cette investigation se déroulera dans de le cadre de l'architecture
Java Card mais elle concernera également des architectures
reposant sur l'externalisation de ressources (mémoire et code
exécutable) en cours d'étude au LaBRI.

Ces travaux seront menés au LaBRI en collaboration entre les équipes "SOD"
et "Méthodes Formelles".

Compétences requises : Smart Card, Java Card, Java, méthodes formelles
(JML, etc.)

Contacts :
Serge Chaumette [chaumett@labri.fr]
Olivier Ly [ly@labri.fr]

Répondre