Jean-Christophe BACH


ENSEIGNANT CHERCHEUR
Dépt. Informatique

Téléphone : 02 29 00 15 73
Télécopie : 02 29 00 12 82
Courriel : jc.bach@imt-atlantique.fr
IMT Atlantique
Vue aérienne

Research activities

I am interesting in improving trust in software systems. I am interesting in the product (software) and in the production process (all elements allowing to build the product, from the beginning) in order to improve software security. Therefore I am working on software security by advocating what I call « security by design » to avoid the traditional « vulnerability-patch » way.

Toward this goal, my main research interests are the following:

  • Software engineering
  • Security
  • Software quality (for safety and security)
  • Languages
  • Transformations, qualifiable transformations (languages, models, programs, etc.)
  • Transformation traceability
  • Formal Methods
  • Help to software verification
  • Model federation
  • Software evolution
  • Software applications migration
     

There are a lot of application fields, however I mainly focus on cybersecurity and industry 4.0.

 

Activités de recherche

De manière générale, je m'intéresse à améliorer la confiance que l'on peut avoir dans les systèmes logiciels. Je m'intéresse autant au produit (logiciel) qu'au processus de production (tout ce qui permet d'arriver au produit, dès la phase de conception) afin d'améliorer la sécurité des systèmes logiciels. Je travaille donc à la sécurité logicielle bien en amont, que je nomme généralement cela « security by design » (sécurité dès la conception, sécurité par construction), afin d'éviter le fonctionnement classique « vulnérabilité-patchs ».

Au service de cet objectif, mes thématiques de recherche principales sont les suivantes :

  • Ingénierie du logiciel
  • Sécurité
  • Qualité logicielle (à des fin de sûreté et de sécurité)
  • Langages
  • Transformations (de langages, qualifiables, de modèles, de programmes, etc.)
  • Traçabilité des transformations
  • Méthodes formelles
  • Aide à la vérification
  • Fédération de modèles
  • Évolution logicielle
  • Migration d'applications

Les domaines d´applications sont divers (partout où le logiciel intervient), cependant je me concentre un peu plus particulièrement sur le sdomaines de la sécurité informatique (« cybersécurité ») et l'industrie du futur.

Dans le cadre de la chaire cyber navale, je co-encadre Étienne Louboutin avec Fabien Dagnat (directeur) sur une thèse initialement intitulée « Analyse sémantique pour la protection de composants matériels de sécurité ». Cette thèse s'oriente aujourd'hui sur l'établissement d'une métrique concernant les chaînes ROP au sein de binaires. L'objectif est de trouver les leviers influençant les chaînes ROP (existence et nature des gadgets) afin de pouvoir donner des pratiques de développement limitant les risques.

 

Projects, PhD or internship offers / Projets, offres de thèses ou de stage

Currently, we don't have any funding for new PhD or internship.

Technopôle Brest-Iroise - CS 83818 - 29238 Brest Cedex 3 - France
Tél : 33 (0)2 29 00 11 11 - Fax : 33 (0)2 29 00 10 00