Présentation d'essai de l'étudiant Hong Huyng. Titre : Détection des vols d’essence dans les contrats intelligents sur la plateforme Ethereum

Description :

Depuis 2015, la plateforme Ethereum permet le développement et le déploiement d’applications sur les chaînes de blocs. Celles-ci sont communément appelées « contrats intelligents » et possèdent plusieurs particularités. En effet, une fois déployées, elles ne sont pratiquement plus modifiables. De plus, chaque invocation nécessite un coût calculé en essence.

Plusieurs cas de fraudes existent dans les contrats intelligents. Cependant, les vols d’essence sont peu discutés. En effet, un contrat intelligent frauduleux peut soutirer un maximum d’essence aux utilisateurs avec peu d’effort.

Cette présentation porte sur la détection des vols d’essence avec l’utilisation d’une méthode formelle, l’exécution symbolique. Cette technique éprouvée a été adaptée pour la détection des fraudes d’essence sous la forme d’un nouvel outil nommé Sherlock. Le fonctionnement ainsi que l’efficacité de Sherlock seront présentés.