Login / Signup

SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses.

Jaeseung ChoiDoyeon KimSoomin KimGustavo GriecoAlex GroceSang Kil Cha
Published in: ASE (2021)
Keyphrases
  • data flow
  • database machine
  • control flow
  • data transfer
  • digital signal processing
  • object oriented software
  • systolic array
  • supply chain
  • artificial intelligence
  • object oriented
  • process model
  • smart grid
  • bottle neck