PR02 INCYBER Compilation formellement vérifiée pour la sûreté et les contre mesures de sécurite

09/05/2025 artia13

Les programmes embarqués (y compris sur cartes à puce) sont souvent développés en langage C, puis compilés pour le processeur embarqué. Parfois, on les modifie à la main pour intégrer des contre-mesures (attaques par fautes, etc.), mais il faut prendre garde en faisant cela de ne pas casser les exécutions normales du programme et que la contremesure soit effectivement adéquate pour bloquer les attaques.
Dans ce processus, il est possible que le compilateur utilisé introduise des bugs, ou encore qu’il enlève des contremesures, vues comme redondantes par les optimisations.

Allez à la source

artia13

Depuis 1998, je poursuis une introspection constante qui m’a conduit à analyser les mécanismes de l’information, de la manipulation et du pouvoir symbolique. Mon engagement est clair : défendre la vérité, outiller les citoyens, et sécuriser les espaces numériques. Spécialiste en analyse des médias, en enquêtes sensibles et en cybersécurité, je mets mes compétences au service de projets éducatifs et sociaux, via l’association Artia13. On me décrit comme quelqu’un de méthodique, engagé, intuitif et lucide. Je crois profondément qu’une société informée est une société plus libre.