Menu

Matthieu BOISDE

Obernai

En résumé

Je suis leader technique sur un projet de domotique permettant la gestion intelligente du bâtiment et l’agrégation des équipements communicant KNX et des IoT de la maison (lampes Philips Hue, équipement du jardin Gardena, …). Je participe à l'architecture, la définition et le chiffrage des taches de développement et validation du projet. J’encadre le développement d’une équipe de 6 personnes.

Au cours de mes expériences professionnelles, j'ai travaillé comme expert technique sur la sécurisation de la mobilité et des logiciels embarqués. J'ai travaillé sur les certifications Critères Communs avec quelques connaissances en language formel. J'ai été impliqué dans des projets innovants et des projets financés de programmes nationaux ou européens. Je suis inventeur / co-inventeur de solutions brevetées de sécurité en environnement embarqué ( http://bit.ly/mesbrevets ).

A titre personnel, je maintiens depuis plus de 15 ans le portail Web https://www.japancar.fr (1.000.000 de vues par mois, 2Go de base de données). Cela me permet de bien connaitre l’environnement Linux / Apache / MySQL / PHP et le SEO.

Mes compétences :
ISO 7816
Java Card
Global Platform
Cryptographie
Quality management
Sécurité informatique
Sécurité
Informatique
Ingénierie
Carte à puce
PHP
C
C++
MySQL
Python
Méthode agile
Mockito
Agile
Maven
JavaScript
JUnit
Java
Conduite de projet
Gestion de projet informatique
Fiabilité, Maintenance, Disponibilité, Sûreté de f
Gestion de projet
Informatique embarquée

Entreprises

  • Hager Group - Ingénieur d'étude

    Obernai 2016 - maintenant Leader technique d'un projet domotique pour la gestion de tous les équipements KNX et IoT de la maison (lampes, volets, thermostat...). Définition de l'architecture logicielle du serveur de domotique (linux, java, framework OSGi, KNX).
    Encadrement technique du développement.
  • Oberthur Technologies - Technical Expert

    Colombes 2014 - 2016 Responsable technique de projets GlobalPlatform : conception, développement, intégration et validation des framework embarqués d'environnement carte à puce Java Card et GlobalPlatform.
    Conception et développement de briques logicielles eUICC (SIM Virtuelle) et eSE (secure element).
    Référent technique sur le développement embarqué Java Card.
    Responsable « Problem Report » pour le groupe « Embedded Software Factory ».
    Technologies utilisées : C, Java Card (Eclipse / Ant), Git, Agile, Serena Business Manager
  • Oberthur Technologies - Senior Engineer

    Colombes 2010 - 2014 Ingénieur développement JCVM/GlobalPlatform : développement, intégration et validation de briques Java Card et GlobalPlatform.
    Développement natif et Java Card de l'amendment C GlobalPlatform pour la gestion d'un Secure Element et l'utilisation sans contact / NFC.
    Responsable résolution des rapports d’anomalies pour l’entité « Core Components » (équipes « Crypto », « BIOS », « Java Card VM/A.P.I. », « Card Manager » et « Tools »).
    Équipe "Projets Innovants" : développement d'un PPSD (Personnal Portable Secure Device), développement du prototype Java Card 3 Connected Edition.
    Technologies utilisées : C/C++, Java Card (Eclipse / Ant), Python, SVN
  • Oberthur Technologies - Ingénieur Développement Embarqué

    Colombes 2006 - 2010 Ingénieur développement logiciels embarqués.
    Développement de la brique Java Card API v3.0 Classic.
    Responsable des tests de validation de la brique logiciel Java Card API, livraison des tests de validation aux équipes d’intégration Identité, Bancaire et Mobile.
    Responsable classe ATE durant plusieurs certifications Critères communs.
    Technologies utilisées : C/C++, Java Card, SVN.
  • Oberthur Card Systems - Ingénieur Validation

    2004 - 2006 Conception de tests de validation pour les produits Java Card et GlobalPlatform.
    Validation des produits Identité et Bancaire pour intégration sur cartes à puces.
    Développement de codes correctifs pour la correction d’anomalies et/ou l’ajout de fonctionnalités aux cartes à puces Identité ou Bancaire masquées en usine.
    Développement d’outils d’aide à la validation :
    - DLL de calcul de vecteurs de tests cryptographique et de manipulation de données
    - import/export de données de tests pour validation externe en laboratoire officiel
    Technologies utilisées : C/C++, Visual Basic, PCom32 (communication PC / carte à puce).

Formations

  • Université Paris 6 Pierre Et Marie Curie

    Paris 2003 - 2004 DESS

    Conservatoire National des Arts et Métiers et Université Pierre et Marie Curie Paris VI.
    Spécialisation sur la conception et la validation de systèmes comportant de nombreux composants logiciels et devant répondre à des exigences de sûreté et de sécurité.
    Enseignement: Programmation de systèmes sûrs, Sûreté et sécurité logicielle, Conception rigoureuse des systèmes informatiques, Analyse et vérifi
  • Conservatoire National Des Arts Et Métiers CDL

    Paris 2003 - 2004 DESS Developpement de Logiciels Surs

    Diplôme conjoint entre Conservatoire National des Arts et Métiers et Université Pierre et Marie Curie Paris VI.
    Spécialisation sur la conception et la validation de systèmes comportant de nombreux composants logiciels et devant répondre à des exigences de sûreté et de sécurité.
    Enseignement: Programmation de systèmes sûrs, Sûreté et sécurité logicielle, Conception rigoureuse des systèmes informati
  • Université Cergy Pontoise

    Cergy Pontoise 2002 - 2003 Developpement Logiciel
  • Université Cergy Pontoise (Cergy Pontoise)

    Cergy Pontoise 2001 - 2002 Developpement Logiciel
  • Université Paris 5 René Descartes

    Paris 1999 - 2001 Génie Informatique

Réseau