Login / Signup

Comparison of Ethereum Smart Contract Analysis and Verification Methods.

Vincent HappersbergerFrank-Walter JäkelThomas KnotheYvonne-Anne PignoletStefan Schmid
Published in: ESORICS Workshops (1) (2023)
Keyphrases
  • decision trees
  • preprocessing
  • computational cost
  • optimization methods
  • real time
  • data sets
  • machine learning
  • genetic algorithm
  • significant improvement
  • statistical analysis