Passer à la navigation principale Passer à la recherche Passer au contenu principal

The greed trap: uncovering intrinsic Ethereum honeypots through symbolic execution

Traduction de l'intitulé de la thèse: Le piège de la cupidité : découverte des honeypots intrinsèques à Ethereum grâce à l’exécution symbolique
  • Mahtab Norouzi

Thèses et mémoires: Mémoire de maîtriseMaîtrise en ingénierie: Génie

Résumé

Les contrats intelligents sont des programmes informatiques auto-exécutables qui s’exécutent sur des réseaux de blockchain et facilitent les transactions sécurisées, transparentes et décentralisées. La sécurité des contrats intelligents a toujours été une question critique dans la communauté de la blockchain, et l’une des principales préoccupations ces dernières années est la prévalence des honeypots - des contrats malveillants conçus pour tromper les utilisateurs en leur faisant déposer des fonds, pour découvrir qu’ils sont incapables de retirer leur argent et ont perdu leur dépôt initial. Dans cette recherche, nous présentons une nouvelle classification de honeypots et introduisons un nouveau type de contrat qui permet le développement d’une méthode future-proof pour détecter les honeypots basée sur le propriétaire du contrat et le flux de trésorerie. Nous mettons en œuvre cette méthode sous la forme d’un outil de détection appelé HoneyVader en utilisant une exécution symbolique pour identifier les contrats honeypot du monde réel. Nous appliquons notre outil à plus de 2 millions de contrats déployés sur le réseau Ethereum et détectons 139 honeypots. En utilisant cet outil, nous découvrons des honeypots zero-day et de nouvelles techniques utilisées par les attaquants, en plus de celles identifiées dans les travaux précédents.
Date24 avr. 2023
langue originaleAnglais américain
Établissement diplômant
  • École de technologie supérieure
SuperviseurKaiwen Zhang (Directeur(-trice))

Mots-clés

  • exécution symbolique
  • Ethereum
  • honeypot

Citer cette ressource

'