Expériences — Mariem Graa

Votre navigateur est obsolète !

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

Experiences

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.

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