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 se déroulera à Rennes du 5 au 7 juin 2019.

Ethereum: chasse aux contrats intelligents vulnérablesKorantin Auguste


Date : 07 juin 2019 à 10:00 — 30 min.

Cette soumission présente les recherches de l'auteur sur la sécurité des "contrats intelligents" sur la blockchain Ethereum.

Il s'agira de présenter le fonctionnement d'Ethereum et les problématiques soulevées en terme de sécurité. Puis l'outil "Pakala" sera introduit. Il s'agit d'un moteur d'exécution symbolique capable d'analyser le code exécutable des contrats intelligents, et de trouver une succession d'appels qui conduira a un bug. Une méthode complémentaire d'analyse de l'historique des transactions effectuées sur les contrats sera également présentée. Puis seront étudiés les résultats trouvés avec ces outils, et on donnera des exemples de contrats intelligents vulnérables typiques.