Votre navigateur est obsolète !

Pour une expériencenet et une sécurité optimale, mettez à jour votre navigateur. Mettre à jour maintenant

×

Mariem Graa

Ingénieur & docteur en Informatique

41 years old
Driving License
Paris (75015) France
Entrepreneur Available
  • Animer une formation « Sécurité des applications et des
    plateformes mobiles »
  • Tracer les flux d'information dans le code java et natif
    des systèmes Android pour détecter la fuite des données privées.
  • Implémenter un mécanisme de détection et de réaction aux "Activity hijacking attacks".
  • Implémenter un protocole qui permet de sécuriser les communications entre les appareils IoT Android et les systèmes tiers.-
  • Implémenter un mécanisme d’authentification (Human Semantic Authentication (HSA) protocol ) dans les systèmes Android
  • Analyse hybride du code pour détecter les violations de
    la confidentialité dans le système Android.
  • Mise en place d’un outil permettant de dériver la spécification formelle Event-B du modèle de buts KAOS
  • Inclusion de la phase d’analyse des besoins dans le développement logiciel associé aux méthodes formelles en dérivant la spécification abstraite, formelle Event-B du modèle de buts KAOS.
  • Implémentation d’un outil sur Topcased en utilisant ATL comme langage de transformation de modèles.
  • Ce sujet est situé dans le cadre de projet ANR TACOS.

Ingénieur développeur

Société italienne Ereait
February 2008 to May 2009
  • Etude et développement des systèmes d’informations (fiscalité, pointage, salaire ...)
  • Environnement de travail propriétaire : Instant Developer inde (SGBD : Oracle, serveur : Apache Tomcat)
  • Mise en place d'une solution de paiement électronique par carte à puce "porte monnaie électronique"
  • Implémentation d’une application sur carte à puce,
  • Implémentation d’une application sur terminal de paiement (ARM 9 +Nucleus),
  • Implémentation d’une application web (C#),
  • Implémentation d’une application de configuration des cartes (VB).
  • Gestion de stock d'une société de vente des faisceaux de câbles destinés à l’industrie automobile
  • Systèmes d'exploitation: Linux/Unix , Windows, Mac OS, Android, iOS
  • Programmation orienté objet et procédurale : C/C++, Java, C#, VB, Prolog
  • Base de données : MySQL, Oracle, Access.
  • Programmation bas niveau : Assembleur, VHDL
  • Développement web: JEE, ASP.Net, JavaScript, HTML 5, CSS3
  • Outils de développement mobile: Android Studio, eclipse, Xcode, GIT
  • Analyse du code: Analyse statique, Analyse dynamique, Data Tainting, Rétro-ingénierie
  • Cryptographie : chiffrement, hachage, signature
  • Sécurité des réseaux: IPsec, SSL, VPN, HTTPS
  • Méthodes de spécification formelle: Méthode B

Doctorat en informatique

IMT Atlantique, Télécom Sud Paris

October 2010 to June 2014
Thèse en informatique intitulée « Analyse hybride du code pour détecter les violations de la confidentialité dans le système
Android».

Master en informatique

Université Paris Est Créteil (UPEC).

April 2010 to August 2010
Master en sécurité des systèmes informatiques intitulée "Mise en place d’un outil permettant de dériver la spécification formelle Event-B du modèle de buts KAOS"

Ingénieur en informatique

Faculté des sciences de Tunis

2004 to 2007
Titre de PFE: "Mise en place d'une solution de paiement électronique par carte à puce "porte monnaie électronique""