Domaine d’expertise technique :

 

  • Sécurité Carte à puces (spécifications banquaire, e-passport)

  • Méthodes Formelles

  • Administration Réseau

 

Technologies utilisées, maitrisées :

 

JavaCard, C++, C,  Isabelle, Coq, Samba