Etude de la sécurité d'un verificateur de byte code et génération de test de vulnérabilité pour les cartes à puces - KODAD MOHCINE (My University, 2016)