Oracle-Supported Dynamic Exploit Generation for Smart Contracts

Despite the high stakes involved in smart contracts, they are often developed in an undisciplined manner, leaving the security and reliability of blockchain transactions at risk. In this article, we introduce ContraMaster-an oracle-supported dynamic exploit generation framework for smart contracts....

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on dependable and secure computing 2022-05, Vol.19 (3), p.1795-1809
Hauptverfasser:	Wang, Haijun, Liu, Ye, Li, Yi, Lin, Shang-Wei, Artho, Cyrille, Ma, Lei, Liu, Yang
Format:	Artikel
Sprache:	eng
Schlagworte:	Attack scripts Blockchain Computation theory Computer science Contract projects Contract state Contracts Cryptography Dynamic techniques Electrical engineering False positive Fuzzing Mutation Rule-based approach Security and reliabilities security vulnerability Semantics Smart contract Smart contracts Software testing Solid modeling State-of-the-art techniques test oracle
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!