-
DOCAPOST
- Directeur de projets
Ivry-sur-Seine
2013 - maintenant
-
Dictao
- Directeur de projets & responsable de comptes
Issy-les-Moulineaux
2007 - 2013
Gestion de plusieurs comptes : LCL, Crédit Agricole Cards & Payments (ex Cedicam), Natixis Paiements, INPI, Oseo, TDF.
Activités:
--------------
- direction de projets
- assistance à maîtrise d'ouvrage
- gestion des relations avec les fournisseurs : Prosodie, Colt
- expertise sécurité: analyse de vulnérabilités, PCA/PRA, audits de sécurité et d'infrastructure, certification Visa 3D-Secure
- rédaction des propositions commerciales et réponses à appel d'offre
Projets :
------------
- banques : dématérialisation en ligne et en agence des contrats d’épargne et d'assurance (des biens, des personnes et vie)
- assurance: dématérialisation des contrats d'assurance vie
- banques : mise en place de la signature électronique par lot des factures TVA (clientèle entreprise)
- banques : mise en place de la signature électronique des opérations sensibles (virements nationaux/internationaux, inscription de RIB, commande de chéquier,...) pour la clientèle particuliers et/ou entreprises
- industrie et services: dématérialisation des bons de commande (service des achats)
- administration: dématérialisation des procédures administratives (dépôt des marques pour l'INPI)
- authentification forte multi-moyens (OTP SMS, EMV CAP, certificat) sur des portails Web et SSO
- sécurisation des achats sur internet via la solution ACS 3D-Secure (Verified by VIsa et Mastercard Secure code)
- sécurisation des flux bancaires pour le Crédit Agricole:
* Flux SWIFTNet/FileAct, EBICS, WebEDI.
* Prise en compte des tokens SWIFT 3SKey
* Conception et mise en place de la plateforme technique bi-sites, hautement disponible (actif/actif)
* Mise en place d'un PRA/PCA.
* Obtention du label Crédit Agricole PSEE.
- archivage à valeur probante
- PKI et key ceremony
-
Oberthur Technologies
- Architecte Sécurité
Colombes
2001 - 2007
Oberthur Technologies est un des principaux fabricants de carte à puce dans le monde. Il est notamment leader mondial pour les cartes bancaires.
Responsable des certifications Critères Communs des cartes bancaires et identité
- Gestion des relations avec les CESTI: Serma Technologies et CEA-LETI
- Gestion des relations avec la DCSSI
- Gestion des relations avec les fournisseurs de circuits: NXP (ex Philips), Atmel
- Rédaction de la Cible de Sécurité (ST)
- Rédaction des livrables de la classe ADV (spécifications et conception FSP / HLD / LLD / RCR / SPM)
- Rédaction des livrables de la classe AVA (analyse de vulnérabilités : VLA / MSU / SOF)
- 7 produits certifiés aux niveaux EAL4+ et EAL5+
- Conformité aux profils de protection: PP 99/11 et SSCD
- Réalisation des formations Critères Communs en interne (R&D, Marketing)
Chef de projet pour le développement de cartes bancaires et identité
- CB-EMV (EMV, B0', Moneo),
- Plateforme JavaCard/Global Platform,
- CNS (Carte italienne de services),
- carte avec biométrie on-card pour FMV (suède),
- carte IAS : plateforme pour la CNIE,
- passeport électronique.
Représentant aux groupes de travail Global Platform et Eurosmart
- participation à la rédaction des spécifications de sécurité disponibles sur le site http://www.globalplatform.org/specificationscard.asp :
Smart Card Security Target Guidelines v1.0
Card Security Requirements Specification v1.0
Évaluation d’outils de modélisation
- Utilisation de TL-FIT (Trusted Logic) pour réaliser les documents de développement/conception des Critères communs (classe ADV : FSP, HLD, LLD, RCR, SPM) pour la carte Identrus
- Utilisation d'Esterel Studio (Esterel Technologies) pour modéliser le fonctionnement de Global Platform
Montage et suivi de projets de recherche avec des partenaires académiques
- projets européens (VerifiCard, Inspired)
- projet français (RNTL Castles)
-
Esterel Technologies
- Ingénieur Recherche et Développement
ELANCOURT
1999 - 2001
Membre Fondateur et Ingénieur Recherche et Développement à Esterel Technologies (www.esterel-technologies.com, Villeneuve loubet, 06). Esterel Technologies est un éditeur logiciel pour le développement de logiciels embarqués et la vérification de circuits électroniques.
Principales réalisations:
- Participation à la définition et à la conception du produit Esterel Studio (environnement complet de développement formel) : langage de spécification, génération de code, model checking, IHM.
- Réalisation de cas d’étude industriels avec Esterel (Airbus, PSA, Texas Instruments).
-
INRIA
- Ingénieur Expert
Le Chesnay
1997 - 1999
Ingénieur Expert à l’INRIA (www.inria.fr, Rocquencourt, 78). INRIA est le principal institut Français pour la recherche en Informatique et Automatique.
Principales réalisations:
- Analyse statique de programmes Java.
- Preuve de protocoles cryptographiques.
-
Université Pierre et Marie Curie (Paris 6)
- Enseignant Chercheur
1996 - 1997
Poste d’enseignant chercheur (ATER) à l’université Paris 6 (www.upmc.fr).
- Enseignements : Java, Compilation, Pascal, Assembleur.
-
CNAM (Consevatoire National des Arts et Métiers)
- Enseignant Vacataire
1995 - 1997
Enseignant Vacataire au CNAM (www.cnam.fr, Conservatoire des Arts et Métiers).
- Enseignements : CAML, ADA
-
University Of Manchester
- Chercheur invité
1995 - 1995
Chercheur invité à l’université de Manchester, durant 4 mois (www.cs.man.ac.uk, avril à juillet 1995) dans l’équipe du Professeur Peter Aczel. Domaine de recherche: theorem provers.
