Aix en Provence2013 - 2014Mission Thales : Vérification formelle de données de configuration pour la ligne 13 du métro de Paris.
Mission Alstom : Développement des évolutions du système de signalisation URBALIS 400
Trusted Labs
- Stagiaire evaluateur de sécurité
San Francisco2012 - 2012- Etat de l'art sur la sécurité Android (Rootkits, Exploits, design process, permissions Android etc)
- Etude et réalisation d’une application d’évaluation de la sécurité des OS Android
- Création d’un environnement Android pour l’analyse dynamique des applications.
- Etude de la solution SEEK (Secure Element Evaluation Kit) pour l’accès au Secure Element sous Android.
Centre d'Etude et De Recherche en Informatique et Communications (Cédric)
- Ingénieur stagiaire
2010 - 2011- Implémentation de la plateforme orientée services OSGi (Felix) sur les téléphones Android.
- Elaboration d’un patch pour permettre l’utilisation du ROSGi sur les téléphones Android.
