Mariem GRAA

En résumé

Entreprises

• Institut Mines-Télécom - Post doc

  Paris Cedex 13 2015 - maintenant Je continue mes travaux de recherches et je prépare un cours sur la sécurité des systèmes Android. L'objectif est de détecter la fuite des données privées des utilisateurs en utilisant une analyse hybride.

• CNRS Bretagne - Post Doc

  2014 - 2015 Développer un simulateur d'un systeme SCADA.

• Télécom SudParis/ Télécom Bretagne - Doctorante

  2010 - 2014 Télécom Sud Paris (Département Logiciels et Réseaux) et Télécom Bretagne (Département Logique des Usages) : Thèse
  en informatique intitulée « Analyse hybride du code pour détecter les violations de la confidentialité dans le système Android».
  
  Mes travaux de thèse portent sur la détection de la fuite des données privées dans les Smartphones, et plus précisément ceux
  dotés d'un OS embarqué de type Android. J'ai proposé une approche exhaustive, prouvée correcte qui propage la teinte tout au
  long des flux de contrôles pour résoudre le problème d'Under Tainting et pour détecter la fuite des données privées. Mon travail
  est basé sur le mécanisme de Data Tainting et permet de détecter les attaques de contrôle de flux en combinant l'analyse statique
  et l'analyse dynamique. J'ai implémenté et testé cette approche sur un Smartphone ayant comme système d'exploitation Android
  2.3. Mon sujet de thèse est situé dans le cadre de projet Futur & Ruptures.

• Université Paris - Stage de Master

  2010 - 2010 LACL (Laboratoire d'Algorithmique, Complexité et Logique) :
  Mon projet s'intitule « Mise en place d'un outil permettant de dériver la spécification formelle Event-B du modèle de buts
  KAOS ». Il consiste à réaliser un outil qui permet d'inclure 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. Cet outil est implémenté sur Topcased en utilisant ATL comme langage de transformation de modèles. Ce sujet est situé dans le cadre de projet
  ANR TACOS.

• Ereait - Ingénieur & développeur

  2008 - 2009

• Société TELNET - Stage

  2007 - 2007 Mon projet de fin d'étude intitulé « Mise en place d'une solution de paiement électronique par carte à puce "porte monnaie élec-
  tronique"» était un projet complet par ses cinq grands axes de développement : une application sur carte à puce, une application
  sur terminal de paiement (ARM 9 +Nucleus), une application web (C#), une application de configuration des cartes (VB), et
  l'intégration de la solution complète pour la gestion de la réservation et du paiement aux restaurants de l'entreprise Telnet.

Formations

• Telecom Bretagne

  Rennes 2010 - 2014 Doctorat
  
  Télécom Bretagne, Télécom Sud Paris

• Université Paris

  Paris 2009 - 2010 Master de recherche en informatique

• Faculté Des Sciences De Tunis - FST (Tunis)

  Tunis 2004 - 2007 Diplome d'ingénieur
  
  Faculté des sciences de Tunis.

• Institut Préparatoire Aux Etudes D'Ingénieur De Nabeul (Nabeul)

  Nabeul 2002 - 2004

• Lycée Farhat Hached Msaken (Sousse)

  Sousse 2001 - 2002 baccalauréat
  
  Section Mathématique, session principale, mention bien.

Réseau

• Ahmed TRIKI

• Amel MAMMAR

• Habib MEHREZ

• Hedia SELMI

• Layal EL SAMARJI

• Mohamed BEN AMMAR

• Nejla BEN BRAHIM

• Raja BZAINIA

• Tlili KODS

• Wajih BENABDALLAH