Attaques physiques à haut niveau pour le test de la sécurité des cartes à puce
Résumé
Dans cet article, nous proposons de décrire les hypothèses d'attaques physiques contre les cartes à puce afin de modéliser ces attaques à haut niveau. Cette modélisation cherche à représenter l'attaque au niveau du langage C par l'injection d'un morceau de code qui simule ses effets. L'intérêt du modèle est qu'il permet de simuler les attaques possibles à un niveau où le programmeur peut comprendre les effets sur le code qu'il développe. Cependant, le nombre d'attaques possibles est très grand ce qui empêche la réalisation exhaustive de tous les tests. Les résultats expérimentaux montrent comment identifier par simulation les attaques par saut qui aboutissent. Enfin, nous présentons nos perspectives de travaux qui concernent la vérification statique de ces codes attaqués.