Program analysis: dynamic binary analysis and instrumentation
This talk is about binary analysis and instrumentation. We will see how it’s possible to target a specific function, snapshot the context memory/registers before the function, translate the instrumentation into an intermediate representation,apply a taint analysis based on this IR, build/keep formulas for a Dynamic Symbolic Execution (DSE), generate a concrete value to go through a specific path, restore the context memory/register and generate another concrete value to go through another path then repeat this operation until the target function is covered. This little project is based on Pin and Z3 and the Pintool will probably be released.
Jonathan Salwan :
Jonathan Salwan is a junior security researcher at Quarkslab who has a strong interest in low-level computing and program analysis. His research is mostly focused on both static and dynamic program analysis.
Security Day est la première édition de la journée sur la sécurité informatique organisée par le Master Informatique de l’Université de Lille, Sciences et Technologies.
La sécurité informatique, un domaine crucial.
Avec l’émergence du tout internet et le nombre croissant de failles découvertes chaque jour, mettre en place des mécanismes de protection les plus efficaces possibles est une nécessité. Il s’avère donc primordial de connaître les différentes techniques d’attaque afin de mieux les contrer.
Sensibiliser les étudiants, une priorité
Notre journée permettra aux professionnels de partager leurs connaissances et aux étudiants de les mettre en pratique par le biais de défis thématiques. (vulnérabilité des réseaux, sécurité du développement, etc.)
Une double finalité, connaissance et échange.
Apporter une vision complète du domaine à tous les étudiants, qu’ils soient intéressés par le réseau, l’applicatif ou la sécurisation des données et permettre aux étudiants, professeurs et professionnels de se rencontrer sur un sujet d’actualité.
-
Téléchargements
-
-
Documents
-
Liens