Sign in

VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts.

Sunbeom SoMyungho LeeJisu ParkHeejo LeeHakjoo Oh
Published in: IEEE Symposium on Security and Privacy (2020)
Keyphrases
  • supply chain
  • genetic algorithm
  • neural network
  • social networks
  • expert systems
  • information technology
  • smart grid
  • traffic accidents