Menu

Amira RADHOUANI

LA GARENNE COLOMBES

En résumé

Mes compétences :
UML/OMT
Microsoft .NET Technology
Oracle
Microsoft Visual Studio.NET
Microsoft Foundation Classes
C++
C Programming Language
Windows Communiciation Foundation
Scrum Methodology
SQL
RUP
NetBeans
MySQL
Microsoft SQL Server
Microsoft C-SHARP
Microsoft Access
Merise Methodology
Java
ECLiPSe
CSP
Finance de marché

Entreprises

  • Laboratoire d'Informatique de Grenoble - Doctorante

    2013 - maintenant Doctorante
    Sujet de thèse : Validation conjointe en UML et B de la sécurité des
    Systèmes d'Information (SI).

    Missions :
    - Etude de la validation de politiques de contrôle d'accès d'un SI.
    - Vérifications automatisées des modèles de contrôle d'accès afin de
    garantir une certaine confiance dans le SI avant son opérationnalisation.
    - Mise en place d'une stratégie pour l'extraction automatique des scénarios
    d'attaques.

    Méthode de vérification formelle : B
    Langage de modélisation : UML
    Outil de vérification formelle : AtelierB, ProB (animateur et model-checker)
    Outil développé : GenISIS (http://genisis.forge.imag.fr/)

    * Trois articles issus de ces travaux ont été publiés (voir section
    publications)

  • Laboratoire LIP2 - Stage

    2010 - 2011 Stage de M2R au Laboratoire d'Informatique, de Parallélisme et de Productique
    Mission : Etude et vérification formelle des propriétés de sécurité des
    protocoles de vote électronique.
    Langage de vérification formelle : Pi-calcul appliqué
    Outil de vérification formelle : ProVerif

    * Deux articles issus de ces travaux ont été publiés (voir section
    publications).

  • Sungard - Ingénieur R&D

    Lognes 2010 - 2013 Sungard (premier éditeur mondial de progiciels de finance) - (
    Mission principale : Analyses techniques et Développement des
    fonctionnalités core dans le cadre de nouveaux projets clients sur le progiciel
    SunGard Ambit Private Banking: une solution de production bancaire Frontto-Back développée pour des établissements bancaires et les institutions
    financières dont l'activité principale est le «Private Banking» et le «Wealth
    Management».

    Méthodologie de travail : Agile/Scrum
    Langage de programmation : C/C++/MFC
    SGBD : Oracle

  • Laboratoire Verimag - Stage de fin d'étude d'ingénieur

    2009 - 2010 Mise en œuvre d'un logiciel pour l'analyse formelle des systèmes
    cryptographiques basés sur une logique pour l'indistinguabilité.

  • INSAT - Stage de fin d'année

    Tunis 2008 - 2008 Méta-modélisation d'une méthodologie d'entreprise SOA et mise en
    place de l'architecture avec la plateforme .NET.

Formations

  • Université Grenoble Alpes

    Grenoble 2013 - maintenant doctorat

    Spécialité : Informatique
    Sujet : Validation conjointe en UML et B de la sécurité des SI.
    Encadrants : Yves LEDRU, Akram IDANI et Narjes BEN RAJEB

  • INSAT

    Tunis 2009 - 2011 master

    Mastère de recherche en génie logiciel en collaboration entre
    (Institut national des sciences appliquées et de technologie) et
    L'ISI (Institut Supérieur d'Informatique) - Tunisie
    Spécialité : Vérification formelle des systèmes critiques.
    * Mention : Très bien
    * Majore de promotion

  • INSAT

    Tunis 2004 - 2010 Diplôme d'ingénieur en génie logiciel

    * Mention : Bien
    * Majore de promotion.

  • Lycée Pilote Bourguiba De Tunis (Tunis)

    Tunis 2001 - 2004 Diplôme de Baccalauréat

    Mention : Bien

Réseau

Annuaire des membres :