Symposium sur la sécurité des technologies de l'information et des communications

Conférence francophone sur le thème de la sécurité de l'information.
Elle a eu lieu à Rennes du 5 au 7 juin 2013.

Mise à plat de graphes de flot de contrôle et exécution symboliqueEloi Vanderbéken


Date : 05 juin 2013 à 11:30 — 30 min.

La présentation s'articulera autour de 4 points :

- théorie sur l'exécution symbolique, hypothèses choisies, etc.

- présentation de l'outil développé permettant l'émulation et l'exécution symbolique (mélange de IDA python et de Z3)

- explication de la réunion des deux pour la reconstruction du CFG original de la fonction protégée.

- présentation des différentes améliorations possible et des limitations de la méthode tant du point de vue de l'outil créé que de l'obfuscation.